Hacker News new | ask | show | jobs
by strongly-typed 25 days ago
Lean is such a wonderful language. So hyped by these releases.