git.iko.soy/Idris-dev
on 80b60a6 help sign in
Idris-dev/src/Idris
6 folders, 47 files
../ Core/Fixes for GHC 8.6 Elab/Remove a needless log Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Remove unnecesary imports and fix small hlint warning Parser/Remove unnecesary imports and fix small hlint warning REPL/Change anyChar to anySingle ASTUtils.hsRemove the empty property 'copyright'. AbsSyntax.hsAllow capitalized pattern variables via switch AbsSyntaxTree.hsStore hash of the IBC file's interface Apropos.hsRemove the empty property 'copyright'. CaseSplit.hsRemove the empty property 'copyright'. Chaser.hsForget stylish... again... CmdOptions.hsAllow capitalized pattern variables via switch Colours.hsRemove the empty property 'copyright'. Completion.hsImprove error message locations (#4210) Coverage.hsFix checking if error is recoverable wrt coverage DSL.hsAdd alternatives syntax to `let` in `do` blocks DataOpts.hsRemove the empty property 'copyright'. DeepSeq.hsRemove the empty property 'copyright'. Delaborate.hsFix compilation with GHC 8.4 Directives.hsWhy nub a list when you can use a set. Docs.hsFix compilation with GHC 8.4 Docstrings.hsFix compilation with GHC 8.4 ElabDecls.hsWhy nub a list when you can use a set. Erasure.hsHandle Inferred terms in getDepsTerm ErrReverse.hsRemove the empty property 'copyright'. Error.hsAdd alternatives syntax to `let` in `do` blocks Help.hsRemove the empty property 'copyright'. IBC.hsFix stylization problems. IdeMode.hsRemove the empty property 'copyright'. IdrisDoc.hs[ docs ] definitions in the same order as in the source file Imports.hsFaster dependency chasing Info.hsRemove the empty property 'copyright'. Inliner.hsRemove the empty property 'copyright'. Interactive.hsRemove the empty property 'copyright'. Main.hsSet stdout line buffering before building inputs ModeCommon.hsFix efficiency problem with module chasing Options.hsAllow capitalized pattern variables via switch Output.hsWhy nub a list when you can use a set. Package.hsSet environment with Idris flags while running `make` Parser.hsSlightly better hashing function for interfaces PartialEval.hsRemove the empty property 'copyright'. Primitives.hsFix discrepancy in behaviour of run-time and complile-time str-to-int implementations ProofSearch.hsRemove the empty property 'copyright'. Prover.hsFormat some messages in the prover Providers.hsRemove the empty property 'copyright'. REPL.hsSilence stylize Reflection.hsRemove old eliminator generation and induction tactic (#4351) Termination.hsFix efficiency problem with 'covering' Transforms.hsRemove the empty property 'copyright'. TypeSearch.hsFix compilation with GHC 8.4 Unlit.hsRemove the empty property 'copyright'. WhoCalls.hsRemove the empty property 'copyright'.