git.iko.soy/Idris-dev
on 45c8eca help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ Java/Fix error in Java name mangling BCImp.hsAdd a Cabal library Bytecode.hsAdd a Cabal library CodegenC.hsSome clean up. CodegenCommon.hsAdd CodegenInfo structure, give CGs uniform types CodegenJava.hsAdd CodegenInfo structure, give CGs uniform types CodegenJavaScript.hsCall mainFun even if window and document aren't defined CodegenLLVM.hsFix compile error Compiler.hsMake totality a warning until compiling Defunctionalise.hsUpdate evaluated variable after EVAL DumpBC.hsAdd a Cabal library Inliner.hsAdd a Cabal library Lang.hsImprove --dumpcases. Simplified.hsAdd function name to Codegen errors System.hsAdd more ifdefs for DragonFly