git.iko.soy/Idris-dev
on 521b8bf help sign in
Idris-dev/src/Idris
6 folders, 45 files
../ Core/Remove unused case tree code Elab/Remove unused case tree code 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.hsAlphabetize and indent imports and LANGUAGE pragmas AbsSyntax.hsRemove unused case tree code AbsSyntaxTree.hsChange totality checking and inlining 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.hsRemove unused case tree code 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.hsAlphabetize and indent imports and LANGUAGE pragmas ErrReverse.hsAdded documentation for modules. Error.hsAlphabetize and indent imports and LANGUAGE pragmas Help.hsAdded documentation for modules. IBC.hsRemove unused case tree code 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