../ 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 bitstring14 years ago CodegenCommon.hsDisambiguate catch explicitly in CodegenCommon14 years ago CodegenJava.hsBackend support for Java14 years ago CodegenJavaScript.hsjavascript: extracted common runtime14 years ago Compiler.hsMerge branch 'javascript' of https://github.com/raichoo/Idris-dev into raichoo-javascript14 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.hsMerge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascript14 years ago Lang.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago Simplified.hsSome tiny RTS optimisations14 years ago