../ JavaScript/javascript: wrap exceptions in function12 years ago BCImp.hsAdd a Cabal library13 years ago Bytecode.hsUse FDesc for foreign target12 years ago CodegenC.hsRemove -msse2 flag which breaks the build on non-x86 machines (consider -march=native?).11 years ago CodegenCommon.hsGenerate interface files for C->Idris calls12 years ago CodegenJavaScript.hswhitespace11 years ago Compiler.hsHigh-level if ... then ... else ... expression11 years ago Defunctionalise.hsUse any instead of or/map and null/filter11 years ago DumpBC.hsNew language-dependent FFI12 years ago Exports.hsSupport IO in foreign exports12 years ago Inliner.hsAdd a Cabal library13 years ago Lang.hsDecorate lambda lifted names12 years ago LangOpts.hsNew language-dependent FFI12 years ago Simplified.hsUse FDesc for foreign target12 years ago System.hsAdd feature to add compiler flags from environment with IDRIS_CFLAGS11 years ago