git.iko.soy/Idris-dev
on dd10071 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Another minor efficiency gain in elaborator IRTS/javascript: reduce more functions Idris/Further splitting of Parser Pkg/Make --install respect TARGET for .ibc AND objects Util/Make --install respect TARGET for .ibc AND objects .ghciAdded .ghci specifying language extensions. Main.hsFixing a typo in the --help usage screen.