git.iko.soy/Idris-dev
on f4bcbbc help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ JavaScript/Fix comparison ops in JS backend BCImp.hsAdd a Cabal library Bytecode.hsUse FDesc for foreign target CodegenC.hsAllow pattern matching on BitX constants CodegenCommon.hsGenerate interface files for C->Idris calls CodegenJavaScript.hsFix comparison ops in JS backend Compiler.hsAllow pattern matching on BitX constants Defunctionalise.hsUse any instead of or/map and null/filter 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 feature to add compiler flags from environment with IDRIS_CFLAGS