edwinb/Idris-dev — pull request #478 by david-christiansen (2013-09-13 15:09:02+00:00)
Title: Add support for init scripts

Now, ~/.idris/repl/init will be run when the REPL starts up. This can be used
to implement colour themes or to set other options.