git.iko.soy/Idris-dev
on 9b372d8 help sign in
Idris-dev/src/IRTS
1 folder, 15 files
../ JavaScript/Alphabetize and indent imports and LANGUAGE pragmas BCImp.hsAlphabetize and indent imports and LANGUAGE pragmas Bytecode.hsAlphabetize and indent imports and LANGUAGE pragmas CodegenC.hsAdd 'idris_crash' CodegenCommon.hsAlphabetize and indent imports and LANGUAGE pragmas CodegenJavaScript.hsAlphabetize and indent imports and LANGUAGE pragmas Compiler.hsImproved User facing progress reporting. Defunctionalise.hsAlphabetize and indent imports and LANGUAGE pragmas DumpBC.hsAlphabetize and indent imports and LANGUAGE pragmas Exports.hsAlphabetize and indent imports and LANGUAGE pragmas Inliner.hsAlphabetize and indent imports and LANGUAGE pragmas Lang.hsAdd 'idris_crash' LangOpts.hsAlphabetize and indent imports and LANGUAGE pragmas Portable.hsAlphabetize and indent imports and LANGUAGE pragmas Simplified.hsAlphabetize and indent imports and LANGUAGE pragmas System.hsMake fetching of data files more robust. Fixes #3544