git.iko.soy/Idris-dev
on 54e4e41 help sign in
Idris-dev/src/Idris
3 folders, 47 files
../ Core/Finish WHNF for operators Elab/Normalise local variable types in metavariables REPL/Only show accessible names in :browse ASTUtils.hsAdd export lists AbsSyntax.hsDisplay normalised types on :t for expressions AbsSyntaxTree.hsDisplay normalised types on :t for expressions Apropos.hsFixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type. CaseSplit.hsAdd extra HL information to PRef Chaser.hsCheck if existing IBC file has old version in Chaser.hs CmdOptions.hsPass parameters to codegens with new cmdoption --cg-opt Colours.hsIndicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically. Completion.hsAdd function to list installed packages Coverage.hsMerge remote-tracking branch 'upstream/master' into parser-highlights DSL.hsSemantic highlighting of implicit fromInteger DataOpts.hsAdd export lists DeepSeq.hsSemantic highlighting of implicit fromInteger Delaborate.hsReword disambiguation error message Directives.hsHighlight names in directives Docs.hsAdd extra HL information to PRef Docstrings.hsAnnotate links with their URL ElabDecls.hsAdd extra HL information to PRef ElabQuasiquote.hsSemantic highlighting of implicit fromInteger Erasure.hsFix erasure from mkForeignPrim. ErrReverse.hsAdd export lists Error.hsSemantic highlighting of implicit fromInteger Help.hsDisplay 'Hole' instead of 'Metavariable' IBC.hsDisplay normalised types on :t for expressions IdeMode.hsParser-driven highlighting of quasiquoted regions IdrisDoc.hsSemantic highlighting of implicit fromInteger Imports.hsAdd export lists Inliner.hsAdd export lists Interactive.hsAdd extra HL information to PRef Output.hsParser-driven highlighting of quasiquoted regions ParseData.hsHighlight all keywords with the parser ParseExpr.hsSemantic highlighting of implicit fromInteger ParseHelpers.hsHighlight all keywords with the parser ParseOps.hsAdd extra HL information to PRef Parser.hsHighlight all keywords with the parser PartialEval.hsAdd extra HL information to PRef Primitives.hsFix totality of chr ProofSearch.hsAdd extra HL information to PRef Prover.hsAdd extra HL information to PRef Providers.hsAdd extra HL information to PRef REPL.hsDisplay normalised types on :t for expressions REPLParser.hsDisplay normalised types on :t for expressions Reflection.hsFix copy-paste bug when reifying reflected tactics 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