../ JavaScript/HLint DIrected Code Cleanup10 years ago BCImp.hsAdded documentation for modules.10 years ago Bytecode.hsAdded documentation for modules.10 years ago CodegenC.hsMake C codegen fail more.10 years ago CodegenCommon.hsUse GHC generics for NFData instances10 years ago CodegenJavaScript.hsAdd export functionality to Javascript backend10 years ago Compiler.hsChange Instance to implementation (#3404)10 years ago Defunctionalise.hsAdded documentation for modules.10 years ago DumpBC.hsAdded documentation for modules.10 years ago Exports.hsAdded documentation for modules.10 years ago Inliner.hsAdded documentation for modules.10 years ago Lang.hsFix compilation of Delay pattern10 years ago LangOpts.hsAdded documentation for modules.10 years ago Portable.hsAdded documentation for modules.10 years ago Simplified.hsHLint DIrected Code Cleanup10 years ago System.hsInstall packages in sub-directory of Idris' data dir.10 years ago