git.iko.soy/Idris-dev
on caed480 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.hsUse Data.Text for variable names CodegenCommon.hsAdd a Cabal library CodegenJava.hsUse Data.Text for variable names CodegenJavaScript.hsUse Data.Text for variable names CodegenLLVM.hsFix LLVM compilation error because of moved `getCC` Compiler.hsUse Data.Text for variable names Defunctionalise.hsUse Data.Text for variable names DumpBC.hsAdd a Cabal library Inliner.hsAdd a Cabal library Lang.hsUse Data.Text for variable names Simplified.hsMerge branch 'text-names' System.hsAdd more ifdefs for DragonFly