../ BCImp.hsSet up for adding new compiler back ends more easily14 years ago Bytecode.hsSome tiny RTS optimisations14 years ago CodegenC.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives13 years ago CodegenCommon.hsDisambiguate catch explicitly in CodegenCommon14 years ago CodegenJava.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives13 years ago CodegenJavaScript.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives13 years ago Compiler.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives13 years ago Defunctionalise.hsRemove the unused arg from lookup functions14 years ago DumpBC.hsMerge pull request #120 from DanielWaterworth/master14 years ago Inliner.hsFix unification error that led to some trivial things not checking14 years ago LParser.hsParameterized integer FFI14 years ago Lang.hsParameterized integer FFI14 years ago Simplified.hsRemove the unused arg from lookup functions14 years ago