git.iko.soy/Idris-dev
on d759b26 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Generate simpler names with showCG IRTS/javascript: handle special names Idris/Parser fix for colour setting commands Pkg/Some packaging fixes Util/default case for hostDynamicLibExt. .ghciAdded .ghci specifying language extensions. Main.hsAdd command line option to control REPL colours