← Back to context

Comment by gowld

9 hours ago

> your Lean files are full of `sorry`s

You meant this literally, but this such a beautiful insult.

0 comments

gowld

Reply

No comments yet

Contribute on Hacker News ↗