git.iko.soy/Idris-dev
on e65d0fa help sign in
Idris-dev/src/Idris
6 folders, 47 files
../ Core/Remove some redundancy in case trees Elab/Show unreachable case warnings like other warnings Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Improve error message locations (#4210) Parser/Rename to Message REPL/Improve error message locations (#4210) ASTUtils.hsRemove the empty property 'copyright'. AbsSyntax.hsRemove the empty property 'copyright'. AbsSyntaxTree.hsRemove commented-out updateDNs 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.hsRemove the empty property 'copyright'. 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.hsRemove the empty property 'copyright'. Help.hsRemove the empty property 'copyright'. IBC.hsRemove the empty property 'copyright'. IdeMode.hsRemove the empty property 'copyright'. IdrisDoc.hsImprove error message locations (#4210) 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.hsRemove the empty property 'copyright'. Parser.hsProcess !-notation in function declarations 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'.