git.iko.soy/Idris-dev
on 9b372d8 help sign in
Idris-dev/src/Idris
6 folders, 46 files
../ Core/Fix for cyclic solutions in unifyProblems Elab/Errors for inspecting a _ in case/with Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Alphabetize and indent imports and LANGUAGE pragmas Parser/Alphabetize and indent imports and LANGUAGE pragmas REPL/Improved User facing progress reporting. ASTUtils.hsApply forcing optimisation on LHS AbsSyntax.hsImproved User facing progress reporting. AbsSyntaxTree.hsImproved User facing progress reporting. Apropos.hsAlphabetize and indent imports and LANGUAGE pragmas CaseSplit.hsAlphabetize and indent imports and LANGUAGE pragmas Chaser.hsAlphabetize and indent imports and LANGUAGE pragmas CmdOptions.hsImproved User facing progress reporting. Colours.hsUse GHC generics for NFData instances Completion.hsAlphabetize and indent imports and LANGUAGE pragmas Coverage.hsFix names in generating missing cases DSL.hsAlphabetize and indent imports and LANGUAGE pragmas DataOpts.hsAdded documentation for modules. DeepSeq.hsAlphabetize and indent imports and LANGUAGE pragmas Delaborate.hsBetter choice of pattern to inspect in coverage Directives.hsAlphabetize and indent imports and LANGUAGE pragmas Docs.hsPrint interface constraints as a separate section Docstrings.hsAlphabetize and indent imports and LANGUAGE pragmas ElabDecls.hsHide more features behind %language pragmas Erasure.hsSupport nested lambdas in lamToLet. ErrReverse.hsAdded documentation for modules. Error.hsAlphabetize and indent imports and LANGUAGE pragmas Help.hsAdded documentation for modules. IBC.hsImproved User facing progress reporting. IdeMode.hsAlphabetize and indent imports and LANGUAGE pragmas IdrisDoc.hsMake fetching of data files more robust. Fixes #3544 Imports.hsAlphabetize and indent imports and LANGUAGE pragmas Info.hsMake fetching of data files more robust. Fixes #3544 Inliner.hsAlphabetize and indent imports and LANGUAGE pragmas Interactive.hsAlphabetize and indent imports and LANGUAGE pragmas Main.hsImproved User facing progress reporting. ModeCommon.hsAlphabetize and indent imports and LANGUAGE pragmas Output.hsAlphabetize and indent imports and LANGUAGE pragmas Package.hsImproved User facing progress reporting. Parser.hsImproved User facing progress reporting. PartialEval.hsPartial evaluation fixes Primitives.hsAlphabetize and indent imports and LANGUAGE pragmas ProofSearch.hsDetect implicit parameters to interfaces Prover.hsRemove unused case tree code Providers.hsAlphabetize and indent imports and LANGUAGE pragmas REPL.hsImproved User facing progress reporting. Reflection.hsBetter choice of pattern to inspect in coverage Termination.hsNew coverage checker Transforms.hsAdded documentation for modules. TypeSearch.hsAlphabetize and indent imports and LANGUAGE pragmas Unlit.hsFix lidr compiler message position WhoCalls.hsAlphabetize and indent imports and LANGUAGE pragmas