git.iko.soy/Idris-dev
on 5d8f805 help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Performance improvement: name supply AbsSyntax.hsPerformance improvement: name supply AbsSyntaxTree.hsPerformance improvement: name supply CaseSplit.hsMerge branch 'master' into cabal-library Chaser.hsCatch import errors in the right place Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt. Completion.hsAdd tab completion for "induction" in prover Coverage.hsCache argument types for building case trees DSL.hsAdd a Cabal library DataOpts.hsShrink IBCs dramatically DeepSeq.hsSeparate Core NFData instances Delaborate.hsAllow a hierarchical structure in reflected errors Docs.hsAdd a Cabal library ElabDecls.hsPerformance improvement: name supply ElabTerm.hsPerformance improvement: name supply Error.hsSupport names and terms in error reflection Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL IBC.hsShrink IBCs dramatically IdeSlave.hsMerge branch 'master' into cabal-library Imports.hsAdd a Cabal library Inliner.hsAdd a Cabal library ParseData.hsMerge branch 'master' into cabal-library ParseExpr.hsPerformance improvement: name supply ParseHelpers.hsAdd a Cabal library ParseOps.hsFixes layout parsing of operators Parser.hsPerformance improvement: name supply PartialEval.hsMerge branch 'master' into cabal-library Primitives.hsAdd a Cabal library ProofSearch.hsAdd a Cabal library Prover.hsCache argument types for building case trees Providers.hsAdd a Cabal library REPL.hsMerge remote-tracking branch 'upstream/master' into error-reflection REPLParser.hsAllow querying the registered error handlers Transforms.hsAdd a Cabal library Unlit.hsAdd a Cabal library UnusedArgs.hsAdd a Cabal library