../ JavaScript/Bug fix for infinite loop while executing a callback in the Javascript runtime.11 years ago BCImp.hsAdd a Cabal library13 years ago Bytecode.hsUse FDesc for foreign target12 years ago CodegenC.hsAdd support for logical and, or, shl, shr for big ints11 years ago CodegenCommon.hsGenerate interface files for C->Idris calls12 years ago CodegenJavaScript.hsBug fix for infinite loop while executing a callback in the Javascript runtime.11 years ago Compiler.hsNew rules for name visibility11 years ago Defunctionalise.hsUse any instead of or/map and null/filter11 years ago DumpBC.hsNew language-dependent FFI12 years ago Exports.hsCategorised the Logs.11 years ago Inliner.hsAdd a Cabal library13 years ago Lang.hsSubstring as primitive11 years ago LangOpts.hsNew language-dependent FFI12 years ago Simplified.hsUse FDesc for foreign target12 years ago System.hsUnrelated misc golf.11 years ago