git.iko.soy/Idris-dev
on 37845e4 help sign in
Idris-dev/src/Idris
3 folders, 47 files
../ Core/Finish WHNF for operators Elab/Fix #1134 by saving same info in ibc on check REPL/Only show accessible names in :browse ASTUtils.hsAdd export lists AbsSyntax.hsSemantic highlighting of implicit fromInteger AbsSyntaxTree.hsMerge pull request #2463 from melted/cgoptions 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.hsSemantic highlighting of implicit fromInteger 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.hsMerge pull request #2463 from melted/cgoptions REPLParser.hsAdded WHNF module 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