../ Core/Generate simpler names with showCG13 years ago IRTS/javascript: handle special names13 years ago Idris/Colour theme in Idris REPL state13 years ago Pkg/Some packaging 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