git.iko.soy/Idris-dev
on 23614ff help sign in
Idris-dev/src/IRTS
1 folder, 15 files
../ JavaScript/HLint DIrected Code Cleanup BCImp.hsAdded documentation for modules. Bytecode.hsAdded documentation for modules. CodegenC.hsHLint DIrected Code Cleanup CodegenCommon.hsUse GHC generics for NFData instances CodegenJavaScript.hsAdd export functionality to Javascript backend Compiler.hsFix compilation of Delay pattern Defunctionalise.hsAdded documentation for modules. DumpBC.hsAdded documentation for modules. Exports.hsAdded documentation for modules. Inliner.hsAdded documentation for modules. Lang.hsFix compilation of Delay pattern LangOpts.hsAdded documentation for modules. Portable.hsAdded documentation for modules. Simplified.hsHLint DIrected Code Cleanup System.hsAdded documentation for modules.