git.iko.soy/Idris-dev
on 8d63fcf help sign in
Idris-dev/src/Idris
6 folders, 47 files
../ Core/Why nub a list when you can use a set. Elab/Why nub a list when you can use a set. Info/Alphabetize and indent imports and LANGUAGE pragmas Package/[ fix #4255 ] Not silently accepting invalid options Parser/Why nub a list when you can use a set. REPL/Improve error message locations (#4210) ASTUtils.hsRemove the empty property 'copyright'. AbsSyntax.hsAllow capitalized pattern variables via switch AbsSyntaxTree.hsWhy nub a list when you can use a set. 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.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.hsBump IBC version after removing `%elim` items IdeMode.hsRemove the empty property 'copyright'. IdrisDoc.hsCreate doc files with default permissions 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.hsWhy nub a list when you can use a set. 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.hsFix compilation with GHC 8.4 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'.