git.iko.soy/Idris-dev
on bf37049 help sign in
Idris-dev/src/Idris
3 folders, 47 files
../ Core/Disambiguation tweak Elab/Disambiguation tweak REPL/Only show accessible names in :browse ASTUtils.hsAdd export lists AbsSyntax.hsAdded new logging category for IBC operations. AbsSyntaxTree.hsMerge pull request #2857 from LeifW/watch_files_for_changes Apropos.hsFixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type. CaseSplit.hsCategorised the Logs. Chaser.hsDetect cycles in imports CmdOptions.hsAdded flag to display available logging categories. Colours.hsExperimental support for console colours on Windows Completion.hsKeep :set options in sync. Coverage.hsCategorised the Logs. DSL.hsChange internal names of pattern bindings DataOpts.hsSimplify reflection and Raw DeepSeq.hsAdded flag to display available logging categories. Delaborate.hsFix error messages for interfaces Directives.hsAdd %deprecate directive Docs.hsChange "class/instance" keywords Docstrings.hsAnnotate links with their URL ElabDecls.hsCategorised the Logs. ElabQuasiquote.hsSemantic highlighting of implicit fromInteger 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.hsAdded new logging category for IBC operations. IdeMode.hsAdd :makecase (:mc) to REPL and ide-mode IdrisDoc.hsFix class->interface in HTML docs Imports.hsAdd export lists Inliner.hsAdd export lists Interactive.hsDisambiguation tweak Output.hsExperimental support for console colours on Windows ParseData.hsAdd deprecation warning for %elim ParseExpr.hsMake "implementation" keyword optional ParseHelpers.hsChange "class/instance" keywords ParseOps.hsAdd extra HL information to PRef Parser.hsCHANGELOG version edit PartialEval.hsAdd extra HL information to PRef Primitives.hsSubstring as primitive ProofSearch.hsUnrelated misc golf. Prover.hsProver.hs: foldl (++) [] . map -> concatMap Providers.hsAdd extra HL information to PRef REPL.hsMerge pull request #2857 from LeifW/watch_files_for_changes REPLParser.hsMerge pull request #2857 from LeifW/watch_files_for_changes Reflection.hsMerge branch 'elab-lookup-function-def' of https://github.com/shlevy/Idris-dev into shlevy-elab-lookup-function-def 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