git.iko.soy/Idris-dev
on 9150698 help sign in
Idris-dev/src/IRTS
1 folder, 13 files
../ JavaScript/javascript: wrap exceptions in function BCImp.hsAdd a Cabal library Bytecode.hsNew language-dependent FFI CodegenC.hsPrimitive type for world state CodegenCommon.hsOptimisation options CodegenJavaScript.hsNew language-dependent FFI Compiler.hsPrimitive type for world state Defunctionalise.hsNew language-dependent FFI DumpBC.hsNew language-dependent FFI Inliner.hsAdd a Cabal library Lang.hsPrimitive type for world state LangOpts.hsNew language-dependent FFI Simplified.hsNew language-dependent FFI System.hsCall gcc using rawSystem