git.iko.soy/Idris-dev
on 8935fed 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.hsAdd info field to App Defunctionalise.hsUse FDesc for foreign target DumpBC.hsNew language-dependent FFI Exports.hsSupport IO in foreign exports Inliner.hsAdd a Cabal library Lang.hsDecorate lambda lifted names LangOpts.hsNew language-dependent FFI Simplified.hsUse FDesc for foreign target System.hsAdd IDRIS_LIBRARY_PATH environment variable