A Perfectable Programming Language]
Available in: 中文
Read the full article: [A Perfectable Programming Language]](https://alok.github.io/lean-pages/perfectable-lean/)
A Perfectable Programming Language]
Source
Originally published on hacker news.
Read the full article: [A Perfectable Programming Language]](https://alok.github.io/lean-pages/perfectable-lean/)
0