git.iko.soy/Idris-dev
on 4e6adeb help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Separate Core NFData instances AbsSyntax.hsDon't install packages if there are metavariables AbsSyntaxTree.hsAllow querying the registered error handlers 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.hsMerge branch 'master' into cabal-library DeepSeq.hsSeparate Core NFData instances Delaborate.hsAllow a hierarchical structure in reflected errors Docs.hsAdd a Cabal library ElabDecls.hsMerge remote-tracking branch 'upstream/master' into error-reflection ElabTerm.hsMerge remote-tracking branch 'upstream/master' into error-reflection 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.hsMerge remote-tracking branch 'upstream/master' into error-reflection 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.hsMerge pull request #779 from ahmadsalim/feature/multilineliterals ParseHelpers.hsAdd a Cabal library ParseOps.hsFixes layout parsing of operators Parser.hsAllow functions to be declared as error handlers 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