git.iko.soy/Idris-dev
on 8fe8bb9 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Allow documentation for modules Elab/Allow class constraints to be named ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsDo more forcing in IBC AbsSyntaxTree.hsAllow documentation for modules Apropos.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up CaseSplit.hsDisallow explicit types on LHS Chaser.hsAllow documentation for modules CmdOptions.hsExtended parseFlags 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.hsCoverage checker should ignore hidden arguments DSL.hsMake pattern matching consistent in lambda/let DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsDo more forcing in IBC Delaborate.hsCheck for duplicate names in Can't Convert Docs.hsAllow documentation for modules Docstrings.hsSupport type errors in docstrings ElabDecls.hsA new primitive tactic for getting source locations ElabQuasiquote.hsMake pattern matching consistent in lambda/let ElabTerm.hsSearch in current elaboration stack for instances Erasure.hsRemove dep sets from bound variables. ErrReverse.hsFix for matchProblems Error.hsFix universe checking error Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hsAllow documentation for modules IdeSlave.hsSupport type errors in docstrings IdrisDoc.hsMake pattern matching consistent in lambda/let Imports.hsAdd function to list installed packages Inliner.hs Interactive.hsMake pattern matching consistent in lambda/let Output.hsUse ExceptT instead of ErrorT ParseData.hsSupport type errors in docstrings ParseExpr.hsMerge pull request #1817 from bmsherman/repl ParseHelpers.hsImprove REPL completion and DRY in parsing/completion ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsAllow documentation for modules PartialEval.hsRestrict PE for class dictionaries Primitives.hsLifted the TODOs from Primitives.hs ProofSearch.hsImprovement for 'auto' Prover.hsSave index file when installing a package Providers.hsAnnotate several top-level functions REPL.hsAllow documentation for modules REPLParser.hsVarious cleanup of the REPL, mainly with parsing and completion Transforms.hsFix for name clashes when applying transformations TypeSearch.hsSmall changes and documentation update to :search Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable