git.iko.soy/Idris-dev
on b0899cc help sign in
Idris-dev/src/Idris
6 folders, 45 files
../ Core/Remove a needless 'nub' Elab/Look deeper when coverage checking 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/Alphabetize and indent imports and LANGUAGE pragmas ASTUtils.hsApply forcing optimisation on LHS AbsSyntax.hsFix a source of major slowness AbsSyntaxTree.hsRemove a needless 'nub' 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.hsFix building with optparse-applicative-0.13.0 Colours.hsUse GHC generics for NFData instances Completion.hsAlphabetize and indent imports and LANGUAGE pragmas Coverage.hsLook deeper when coverage checking DSL.hsAlphabetize and indent imports and LANGUAGE pragmas DataOpts.hsAdded documentation for modules. DeepSeq.hsAlphabetize and indent imports and LANGUAGE pragmas Delaborate.hsAlphabetize and indent imports and LANGUAGE pragmas 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.hsAlphabetize and indent imports and LANGUAGE pragmas Erasure.hsApply forcing optimisation on LHS ErrReverse.hsAdded documentation for modules. Error.hsAlphabetize and indent imports and LANGUAGE pragmas Help.hsAdded documentation for modules. IBC.hsApply forcing optimisation on LHS IdeMode.hsAlphabetize and indent imports and LANGUAGE pragmas IdrisDoc.hsPrint interface parameter constraints in :doc Imports.hsAlphabetize and indent imports and LANGUAGE pragmas Info.hsAlphabetize and indent imports and LANGUAGE pragmas Inliner.hsAlphabetize and indent imports and LANGUAGE pragmas Interactive.hsAlphabetize and indent imports and LANGUAGE pragmas Main.hsSignal failures with proper exit code ModeCommon.hsAlphabetize and indent imports and LANGUAGE pragmas Output.hsAlphabetize and indent imports and LANGUAGE pragmas Package.hsAlphabetize and indent imports and LANGUAGE pragmas Parser.hsOveridable overlapping implementation check 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.hsAlphabetize and indent imports and LANGUAGE pragmas Reflection.hsAlphabetize and indent imports and LANGUAGE pragmas 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