git.iko.soy/Idris-dev
on 42a384b help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ JavaScript/javascript: wrap exceptions in function BCImp.hsAdd a Cabal library Bytecode.hsUse FDesc for foreign target CodegenC.hsOverdid the external primitives CodegenCommon.hsGenerate interface files for C->Idris calls CodegenJavaScript.hsFix JS codegen for LWriteStr Compiler.hsSupport externally defined primitives Defunctionalise.hsUse FDesc for foreign target DumpBC.hsNew language-dependent FFI Exports.hsSupport IO in foreign exports Inliner.hsAdd a Cabal library Lang.hsOverdid the external primitives LangOpts.hsNew language-dependent FFI Simplified.hsUse FDesc for foreign target System.hsAdd IDRIS_LIBRARY_PATH environment variable