git.iko.soy/Idris-dev
on 80a67c5 help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Make more fields strict AbsSyntax.hsFix implicit arguments in syntax rules 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.hsStrictness annotations DSL.hsStrictness annotations DataOpts.hsShrink IBCs dramatically DeepSeq.hsMinor memory usage improvements Delaborate.hsAllow a hierarchical structure in reflected errors Docs.hsAdd a Cabal library ElabDecls.hsStrictness annotations ElabTerm.hsFix implicit arguments in syntax rules Error.hsStrictness annotations Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL IBC.hsStrictness annotations IdeSlave.hsMerge branch 'master' into cabal-library Imports.hsStrictness annotations 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.hsStrictness annotations Providers.hsAdd a Cabal library REPL.hsMinor memory usage improvements REPLParser.hsAllow querying the registered error handlers Transforms.hsAdd a Cabal library Unlit.hsAdd a Cabal library UnusedArgs.hsAdd a Cabal library