../ BCImp.hsSet up for adding new compiler back ends more easily14 years ago Bytecode.hsSome tiny RTS optimisations14 years ago CodegenC.hsProper initialization semantics for raw memory14 years ago CodegenCommon.hsDisambiguate catch explicitly in CodegenCommon14 years ago CodegenJava.hsProper initialization semantics for raw memory14 years ago CodegenJavaScript.hsjavascript: fix wrong array handling14 years ago Compiler.hsMerge pull request #246 from bitlisp/ffi214 years ago Defunctionalise.hsGenerate legal DChkCase expressions when defunctionalization is trivial14 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.hsJava FFI: imports included and dependencies downloaded via maven14 years ago Lang.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago Simplified.hsSome tiny RTS optimisations14 years ago