git.iko.soy/Idris-dev
on 717e854 help sign in
Idris-dev/src/Idris
6 folders, 46 files
../ Core/Remove a needless 'nub' Elab/Separate modules for termination/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.hsSeparate modules for termination/coverage 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.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.hsAlphabetize and indent imports and LANGUAGE pragmas 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.hsSeparate modules for termination/coverage Reflection.hsAlphabetize and indent imports and LANGUAGE pragmas Termination.hsSeparate modules for termination/coverage 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