git.iko.soy/Idris-dev
on 0245eef help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ Java/Use Data.Text for variable names BCImp.hsAdd a Cabal library Bytecode.hsAdd a Cabal library CodegenC.hsDelimit escape codes properly. CodegenCommon.hsAdd a Cabal library CodegenJava.hsUse Data.Text for variable names CodegenJavaScript.hsjavascript: tiny APPLY refactoring CodegenLLVM.hsFix LLVM compilation error because of moved `getCC` Compiler.hsMake lookupCtxtExact return Maybe instead of List Defunctionalise.hsMake lookupCtxtExact return Maybe instead of List DumpBC.hsAdd a Cabal library Inliner.hsAdd a Cabal library Lang.hsUse Data.Text for variable names Simplified.hsMake lookupCtxtExact return Maybe instead of List System.hsAdd more ifdefs for DragonFly