A Perfectable Programming Language
Posted 4 hours ago by
yuppiemephisto
43
points
https://alok.github.io/lean-pages/perfectable-lean/
3
comments
Loading..
Loading..
Loading..