git.iko.soy/Idris-dev
on 0222012 help sign in
Idris-dev/src/Idris
4 folders, 41 files
../ Core/Use exact name lookup for hiding Elab/Fix hole/pattern conversion Parser/Implicit bindings warnings REPL/Fix behaviour of %hide ASTUtils.hsRemove some unnecessary fields AbsSyntax.hsImplicit bindings warnings AbsSyntaxTree.hsUse exact name lookup for hiding 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.hsAdded flag to display available logging categories. Colours.hsreplace if else with list comprehension syntax Completion.hsAdd 'definable' flag to metavariables Coverage.hsPerform positivity checking for Elab-defined datatypes DSL.hsChange internal names of pattern bindings DataOpts.hsSimplify reflection and Raw DeepSeq.hsUse exact name lookup for hiding Delaborate.hsUse exact name lookup for hiding Directives.hsUse exact name lookup for hiding Docs.hsAllow setting function flags on instances Docstrings.hsAnnotate links with their URL ElabDecls.hsAllow setting function flags on instances Erasure.hsMerge pull request #2856 from jfdm/log-by-category ErrReverse.hsAdd export lists Error.hsAdd raw name quotes Help.hsDisplay 'Hole' instead of 'Metavariable' IBC.hsUse exact name lookup for hiding IdeMode.hsAdd :makecase (:mc) to REPL and ide-mode IdrisDoc.hsFix behaviour of %hide 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.hsAdd 'definable' flag to metavariables 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.hsAdded TODOs for Unlit.hs WhoCalls.hsAdd info field to App