A perfectable programming language

Article URL: https://alok.github.io/lean-pages/perfectable-lean/

Comments URL: https://news.ycombinator.com/item?id=47744540

Points: 191

# Comments: 104