git.iko.soy/Idris-dev
on d9c3c21 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Another minor efficiency gain in elaborator IRTS/Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0' Idris/Merge pull request #504 from david-christiansen/with-parser Pkg/Some packaging fixes Util/Fix building without LLVM .ghciAdded .ghci specifying language extensions. Main.hsFixing a typo in the --help usage screen.