git.iko.soy/Idris-dev
on 2d41378 help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ Java/Java rts version update to 0.9.14 BCImp.hsAdd a Cabal library Bytecode.hsAdd a Cabal library CodegenC.hsSupport builds that doesn't use cabal for libs and rts CodegenCommon.hsAdd CodegenInfo structure, give CGs uniform types CodegenJava.hsMerge branch 'JavaBuffers' into JavaBackendFixes CodegenJavaScript.hsMerge pull request #1349 from raichoo/javascript CodegenLLVM.hsSupport builds that doesn't use cabal for libs and rts Compiler.hsSupport builds that doesn't use cabal for libs and rts Defunctionalise.hsUpdate evaluated variable after EVAL DumpBC.hsAdd a Cabal library Inliner.hsAdd a Cabal library Lang.hsAdd a prim__systemInfo primitive. Simplified.hsAdd function name to Codegen errors System.hsSupport builds that doesn't use cabal for libs and rts