git.iko.soy/Idris-dev
on 372d2ea help sign in
Idris-dev/src/Idris
4 folders, 41 files
../ Core/Comment editing Elab/Unify pattern and implicit name binding rules Parser/Allow setting function flags on instances REPL/Fix behaviour of %hide ASTUtils.hsRemove some unnecessary fields AbsSyntax.hsFix implicit name bindings in interfaces AbsSyntaxTree.hsAdd 'definable' flag to metavariables 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.hsDon't normalise constructor types DSL.hsChange internal names of pattern bindings DataOpts.hsSimplify reflection and Raw DeepSeq.hsAllow setting function flags on instances Delaborate.hsAdd 'definable' flag to metavariables Directives.hsMerge pull request #2937 from melted/path_spaces 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.hsMore flexible holes IdeMode.hsAdd :makecase (:mc) to REPL and ide-mode IdrisDoc.hsFix behaviour of %hide Imports.hsAdd export lists Inliner.hsAdd export lists Interactive.hsAdd 'definable' flag to metavariables Output.hsExperimental support for console colours on Windows Parser.hsDoc comments go before options! PartialEval.hsAdd extra HL information to PRef Primitives.hsSubstring as primitive ProofSearch.hsFix behaviour of %hide Prover.hsMore flexible holes Providers.hsAdd extra HL information to PRef REPL.hsAdd 'definable' flag to metavariables Reflection.hsContext for "Can't find implementation" 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