Hacker News new | ask | show | jobs
by Mr_T_ 4028 days ago
If the Unix guys were smart they would have used an Idris REPL as default shell.
1 comments
bishop_mandible 4028 days ago
Why not Nimlang?
link
Mr_T_ 4027 days ago
Because Nim is not dependently typed. You can't get sh*t done without dependent types.
link