git.iko.soy/Idris-dev
on c9883e6 help sign in
Idris-dev/src/Idris
6 folders, 46 files
../ Core/Better choice of pattern to inspect in coverage Elab/Better choice of pattern to inspect in coverage 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.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.hsSeparate modules for termination/coverage 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.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.hsAlways run all tests, and exit 1 if any fail Parser.hsSeparate modules for termination/coverage 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.hsCoverage checker fix 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