Comment by Mr_T_

If the Unix guys were smart they would have used an Idris REPL as default shell.