Comment by gowld Comment by gowld 2 days ago 0 replies Copy Link View on Hacker News > your Lean files are full of `sorry`sYou meant this literally, but this such a beautiful insult.