A Perfectable Programming Language
via alok.github.io
Short excerpt below. Read at the original source.
Article URL: https://alok.github.io/lean-pages/perfectable-lean/ Comments URL: https://news.ycombinator.com/item?id=47744540 Points: 4 # Comments: 0