git.iko.soy/Idris-dev
on b3ee2df help sign in
Idris-dev/src/Idris
6 folders, 47 files
../ Core/Remove some redundancy in case trees Elab/Add alternatives syntax to `let` in `do` blocks Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Improve error message locations (#4210) Parser/Add error for type+alternatives as suggested 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.hsRemove the empty property 'copyright'. 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.hsReexport parseErrorDoc from Idris.Parser ModeCommon.hsAdd export list to Idris.Output and Idris.ModeCommon Options.hsRemove the empty property 'copyright'. Output.hsRemove the empty property 'copyright'. Package.hsRemove the empty property 'copyright'. Parser.hsBetter warnings for `class` and `instance` PartialEval.hsRemove the empty property 'copyright'. Primitives.hsRemove the empty property 'copyright'. ProofSearch.hsRemove the empty property 'copyright'. Prover.hsRemove the empty property 'copyright'. Providers.hsRemove the empty property 'copyright'. REPL.hsImprove error message locations (#4210) 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'.