git.iko.soy/Idris-dev
on ebbae35 help sign in
Idris-dev/src/Idris
3 folders, 47 files
../ Core/Add implicit lambdas for top level implicits Elab/Fix issue #2666 ("with" patterns accepted outside of "with" block) REPL/Only show accessible names in :browse ASTUtils.hsAdd export lists AbsSyntax.hsAdd implicit lambdas for top level implicits AbsSyntaxTree.hsAdd implicit lambdas for top level implicits Apropos.hsFixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type. CaseSplit.hsBetter case split when all patterns are impossible Chaser.hsDetect cycles in imports CmdOptions.hsMake it possible to disable tactic deprecation Colours.hsExperimental support for console colours on Windows Completion.hsKeep :set options in sync. Coverage.hsDisplay expected type of RHS in error messages DSL.hsRemove NErased DataOpts.hsSimplify reflection and Raw DeepSeq.hsAdd %deprecate directive Delaborate.hsAdd implicit lambdas for top level implicits Directives.hsAdd %deprecate directive Docs.hsFix parameters documentation in the record's customized display Docstrings.hsAnnotate links with their URL ElabDecls.hsInsert namespace information to declaration-level %runElab ElabQuasiquote.hsSemantic highlighting of implicit fromInteger Erasure.hsFix erasure from mkForeignPrim. ErrReverse.hsAdd export lists Error.hsAdd raw name quotes Help.hsDisplay 'Hole' instead of 'Metavariable' IBC.hsAdd implicit lambdas for top level implicits IdeMode.hsAdd :makecase (:mc) to REPL and ide-mode IdrisDoc.hsImprove HTML generation for records documentation Imports.hsAdd export lists Inliner.hsAdd export lists Interactive.hsBetter case split when all patterns are impossible Output.hsExperimental support for console colours on Windows ParseData.hsAdd deprecation warning for %elim ParseExpr.hsAdd implicit lambdas for top level implicits ParseHelpers.hsUpdate tests for proof deprecation ParseOps.hsAdd extra HL information to PRef Parser.hsAdd %deprecate directive PartialEval.hsAdd extra HL information to PRef Primitives.hsSubstring as primitive ProofSearch.hsBetter disambiguation with type class methods Prover.hsIn interactive elaborator, show all premises Providers.hsAdd extra HL information to PRef REPL.hsAdd implicit lambdas for top level implicits REPLParser.hsMerge pull request #2677 from zgrannan/repl-check-operator Reflection.hsAdd lookup of FunArgs for global names to 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