git.iko.soy/Idris-dev
on e105606 help sign in
Idris-dev/src/Idris
4 folders, 41 files
../ Core/prim__believeMe needs to be considered total Elab/Generate rewriting lemmas for data types Parser/New implementation of rewrite REPL/Fix behaviour of %hide ASTUtils.hsRemove some unnecessary fields AbsSyntax.hsNew implementation of rewrite AbsSyntaxTree.hsNew implementation of rewrite Apropos.hsFixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type. CaseSplit.hsFix case split/unification bug Chaser.hsDetect cycles in imports CmdOptions.hsDeprecate the `MavenProject` output option. Colours.hsreplace if else with list comprehension syntax Completion.hsAdd 'definable' flag to metavariables Coverage.hsFix evaluation of non-total things DSL.hsNew implementation of rewrite DataOpts.hsSimplify reflection and Raw DeepSeq.hsNew implementation of rewrite Delaborate.hsUse exact name lookup for hiding Directives.hsFix %freeze when names are ambiguous Docs.hsAllow setting function flags on instances Docstrings.hsAnnotate links with their URL ElabDecls.hsExtended syntax for 'with' blocks Erasure.hsMerge pull request #2856 from jfdm/log-by-category ErrReverse.hsAdd export lists Error.hsNew implementation of rewrite Help.hsDisplay 'Hole' instead of 'Metavariable' IBC.hsNew implementation of rewrite IdeMode.hsAdd :makecase (:mc) to REPL and ide-mode IdrisDoc.hsNew implementation of rewrite Imports.hsAdd export lists Inliner.hsAdd export lists Interactive.hsNew line after with in interactive mode Output.hsExperimental support for console colours on Windows Parser.hsUse exact name lookup for hiding PartialEval.hsAdd extra HL information to PRef Primitives.hsSubstring as primitive ProofSearch.hsFix behaviour of %hide Prover.hsAdd the ability to define datatypes in Elab Providers.hsAdd extra HL information to PRef REPL.hsFixes #499 allowing packages to be installed to custom location. Reflection.hsAdd the ability to define datatypes in Elab Transforms.hsAdd info field to App TypeSearch.hsAllow Elab scripts to register type class instances Unlit.hs WhoCalls.hsAdd info field to App