git.iko.soy/Idris-dev
on ff01a4c help sign in
Idris-dev/src/Idris
6 folders, 45 files
../ Core/Change totality checking and inlining Elab/Change totality checking and inlining 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.hsChange totality checking and inlining 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.hsChange totality checking and inlining 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.hsChange totality checking and inlining 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.hsAlphabetize and indent imports and LANGUAGE pragmas 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