git.iko.soy/Idris-dev
on 3c58bbf help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ Java/Early buffer implementation for the Java codegen BCImp.hsAdd a Cabal library Bytecode.hsAdd a Cabal library CodegenC.hsMove buffer offset handling into idris code CodegenCommon.hsAdd a Cabal library CodegenJava.hsEarly buffer implementation for the Java codegen CodegenJavaScript.hsjavascript: refactor CodegenLLVM.hsImplement LNullPtr primitive Compiler.hsAdd assert_total function Defunctionalise.hsMake lookupCtxtExact return Maybe instead of List DumpBC.hsAdd a Cabal library Inliner.hsAdd a Cabal library Lang.hsMove buffer offset handling into idris code Simplified.hsMake lookupCtxtExact return Maybe instead of List System.hsAdd more ifdefs for DragonFly