git.iko.soy/Idris-dev
on fa6f5fa 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/Refactored constraint syntax to use less lookahead Pkg/Some packaging fixes Util/Fix building without LLVM .ghciAdded .ghci specifying language extensions. Main.hsFixing a typo in the --help usage screen.