git.iko.soy/Idris-dev
on dadfc86 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.hsSupport IO in foreign exports CodegenCommon.hsGenerate interface files for C->Idris calls CodegenJavaScript.hsMake functions work in JS FFI Compiler.hsGenerate interface files for C->Idris calls Defunctionalise.hsUse FDesc for foreign target DumpBC.hsNew language-dependent FFI Exports.hsSupport IO in foreign exports Inliner.hsAdd a Cabal library Lang.hsSupport IO in foreign exports LangOpts.hsNew language-dependent FFI Simplified.hsUse FDesc for foreign target System.hsAdd IDRIS_LIBRARY_PATH environment variable