../ Core/Another minor efficiency gain in elaborator13 years ago IRTS/Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0'13 years ago Idris/Some refactoring of bracketed expressions (centralizing most of the expressions). This provides some simplification for future optimization of grammar regrding issue idris-lang/Idris-dev#452.13 years ago Pkg/Some packaging fixes13 years ago Util/Fix building without LLVM13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsFixing a typo in the --help usage screen.13 years ago