git.iko.soy/Idris-dev
on 65ba5c5 help sign in
Idris-dev/src/Idris
6 folders, 47 files
../ Core/Fix corner case with dot patterns Elab/Add alternatives syntax to `let` in `do` blocks Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Improve error message locations (#4210) Parser/fix comment REPL/Improve error message locations (#4210) ASTUtils.hsRemove the empty property 'copyright'. AbsSyntax.hsRemove the empty property 'copyright'. AbsSyntaxTree.hsAdd alternatives syntax to `let` in `do` blocks Apropos.hsRemove the empty property 'copyright'. CaseSplit.hsRemove the empty property 'copyright'. Chaser.hsFix efficiency problem with module chasing CmdOptions.hsFix export lists for CmdOptions and Termination Colours.hsRemove the empty property 'copyright'. Completion.hsImprove error message locations (#4210) Coverage.hsRemove the empty property 'copyright'. DSL.hsAdd alternatives syntax to `let` in `do` blocks DataOpts.hsRemove the empty property 'copyright'. DeepSeq.hsRemove the empty property 'copyright'. Delaborate.hsRemove the empty property 'copyright'. Directives.hsRemove the empty property 'copyright'. Docs.hsRemove the empty property 'copyright'. Docstrings.hsRemove the empty property 'copyright'. ElabDecls.hsRemove the empty property 'copyright'. Erasure.hsRemove the empty property 'copyright'. ErrReverse.hsRemove the empty property 'copyright'. Error.hsAdd alternatives syntax to `let` in `do` blocks Help.hsRemove the empty property 'copyright'. IBC.hsRemove the empty property 'copyright'. IdeMode.hsRemove the empty property 'copyright'. IdrisDoc.hsAdd alternatives syntax to `let` in `do` blocks Imports.hsRemove the empty property 'copyright'. Info.hsRemove the empty property 'copyright'. Inliner.hsRemove the empty property 'copyright'. Interactive.hsRemove the empty property 'copyright'. Main.hsRename to emitWarning ModeCommon.hsFix efficiency problem with module chasing Options.hsRemove the empty property 'copyright'. Output.hsRename to emitWarning Package.hsSet environment with Idris flags while running `make` Parser.hsInsert mutual in "using implementation" blocks PartialEval.hsRemove the empty property 'copyright'. Primitives.hsRemove the empty property 'copyright'. ProofSearch.hsRemove the empty property 'copyright'. Prover.hsFormat some messages in the prover Providers.hsRemove the empty property 'copyright'. REPL.hsRename to emitWarning Reflection.hsRemove the empty property 'copyright'. Termination.hsFix efficiency problem with 'covering' Transforms.hsRemove the empty property 'copyright'. TypeSearch.hsRemove the empty property 'copyright'. Unlit.hsRemove the empty property 'copyright'. WhoCalls.hsRemove the empty property 'copyright'.