git.iko.soy/Idris-dev
on fdbee50 help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Display errors properly on IBC load failure AbsSyntax.hsPerformance improvement: name supply AbsSyntaxTree.hsCommand line option improvements. 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.hsDisplay errors properly on IBC load failure 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.hsResolve name hints before adding to .ibc 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.hsCommand line option improvements. REPLParser.hsAllow querying the registered error handlers Transforms.hsAdd a Cabal library Unlit.hsAdd a Cabal library UnusedArgs.hsAdd a Cabal library