12. April 2026

A Perfectable Programming Language

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

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

Points: 4

Comments: 0

Read original

Latest Posts