Hacker News new | ask | show | jobs
Lean Programming Language (lean-lang.org)
3 points by fagnerbrack 10 days ago