edwinb/Idris-dev — pull request #414 by startling (2013-07-23 19:01:39+00:00)
Title: Made Idris a little more ghci-friendly.

I added a `.ghci` file specifying the language extensions the Idris source seems to expect to be globally enabled and a default case for the CPP-cased definition of `hostDynamicLibExt`.