git.iko.soy/Idris-dev
on aef8dc1 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Proper error when merging solutions fails Elab/Support scoped type class constraints ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsSupport scoped type class constraints AbsSyntaxTree.hsMerge pull request #1841 from david-christiansen/issue/1806 Apropos.hsAdd scoped implicit argument to Pi CaseSplit.hsCreate a proper name supply for identity type Chaser.hsAllow documentation for modules CmdOptions.hsAdded missing documentation for the CLI. 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.hsAdd scoped implicit argument to Pi DSL.hsMake pattern matching consistent in lambda/let DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsAllow implicits to appear anywhere Delaborate.hsSupport scoped type class constraints Docs.hsAllow documentation for modules Docstrings.hsRemove -Werror from all files ElabDecls.hsSupport scoped type class constraints ElabQuasiquote.hsMake pattern matching consistent in lambda/let ElabTerm.hsSupport scoped type class constraints Erasure.hsAdd scoped implicit argument to Pi ErrReverse.hsFix for matchProblems Error.hsFix universe checking error Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hsAllow implicits to appear anywhere IdeSlave.hsRemove -Werror from all files IdrisDoc.hsGenerate HTML output for module documentation Imports.hsAdd function to list installed packages Inliner.hs Interactive.hsAdd scoped implicit argument to Pi Output.hsRemove -Werror from all files ParseData.hsSupport type errors in docstrings ParseExpr.hsSupport scoped type class constraints ParseHelpers.hsAllow building with base-4.8.0.0 ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsParse 'with' arguments in pattern mode PartialEval.hsAdd scoped implicit argument to Pi Primitives.hsSupport scoped type class constraints ProofSearch.hsCompute before proof search Prover.hsSave index file when installing a package Providers.hsAnnotate several top-level functions REPL.hsFix recognition of infix names in IDE mode REPLParser.hsVarious cleanup of the REPL, mainly with parsing and completion Transforms.hsFix for name clashes when applying transformations TypeSearch.hsSupport scoped type class constraints Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable