git.iko.soy/Idris-dev
on cd87fcd help sign in
Idris-dev/src/Idris
6 folders, 47 files
../ Core/Improve error message locations (#4210) Elab/Show unreachable case warnings like other warnings Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Improve error message locations (#4210) Parser/Improve error message locations (#4210) 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.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.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.hsReexport parseErrorDoc from Idris.Parser ModeCommon.hsAdd export list to Idris.Output and Idris.ModeCommon Options.hsRemove the empty property 'copyright'. Output.hsAnnotate warning source line Package.hsRemove the empty property 'copyright'. Parser.hsDon't include '=' for RHS span 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'.