git.iko.soy/Idris-dev
on e0861bb help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Remove -Werror from all files Elab/Remove -Werror from all files ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsEat less memory by sharing names AbsSyntaxTree.hsMerge branch 'master' of github.com:idris-lang/Idris-dev Apropos.hsMake :apropos search for documented modules as well CaseSplit.hsDisallow explicit types on LHS 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.hsCoverage checker should ignore hidden arguments DSL.hsMake pattern matching consistent in lambda/let DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsRemove -Werror from all files Delaborate.hsCheck for duplicate names in Can't Convert Docs.hsAllow documentation for modules Docstrings.hsRemove -Werror from all files 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.hsMerge branch 'master' of github.com:idris-lang/Idris-dev IdeSlave.hsRemove -Werror from all files 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.hsRemove -Werror from all files ParseData.hsSupport type errors in docstrings ParseExpr.hsMerge pull request #1817 from bmsherman/repl ParseHelpers.hsAllow building with base-4.8.0.0 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.hsAllow building with base-4.8.0.0 ProofSearch.hsImprovement for 'auto' Prover.hsSave index file when installing a package Providers.hsAnnotate several top-level functions REPL.hsMake :apropos search for documented modules as well 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