git.iko.soy/Idris-dev
on a611deb help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Fix memory leak AbsSyntax.hsFix memory leak AbsSyntaxTree.hsFix memory leak 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.hsFix memory leak 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.hsFix memory leak 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.hsFix memory leak REPLParser.hsAllow querying the registered error handlers Transforms.hsAdd a Cabal library Unlit.hsAdd a Cabal library UnusedArgs.hsAdd a Cabal library