[hacker news] A Perfectable Programming Language]
Available in: 中文
阅读原文：[A Perfectable Programming Language]](https://alok.github.io/lean-pages/perfectable-lean/)
摘要
A Perfectable Programming Language]
来源
本文首发于 hacker news。
阅读原文：[A Perfectable Programming Language]](https://alok.github.io/lean-pages/perfectable-lean/)
0