4 ms·
If the Unix guys were smart they would have used an Idris REPL as default shell.
by Mr_T_ 11y ago
If the Unix guys were smart they would have used an Idris REPL as default shell.
- bishop_mandible 11y agoWhy not Nimlang?
- Mr_T_ 11y agoBecause Nim is not dependently typed. You can't get sh*t done without dependent types.