../ Core/Basic colourisation in REPL13 years ago IRTS/Optimise datatypes with one constructor and one argument No need to pack them up (because we're strict!) so just treat them as a newtype would be in Haskell.13 years ago Idris/Have :t colourise the left side of the colon13 years ago Pkg/Some unification fixes13 years ago Util/default case for hostDynamicLibExt.13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsAdd command line option to control REPL colours13 years ago