git.iko.soy/Idris-dev
on 40da42f help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Support names and terms in error reflection 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.hsMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-library Coverage.hsFix earlier %assert_total propagation DSL.hsAdd a Cabal library DataOpts.hsMerge branch 'master' into cabal-library DeepSeq.hsMerge branch 'master' into cabal-library Delaborate.hsSupport names and terms in error reflection Docs.hsAdd a Cabal library ElabDecls.hsCheck the type of elaborated error handlers ElabTerm.hsSupport names and terms in 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.hsAdd ErrorHandler Binary instance 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 branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-library 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.hsImprovment on readability and usability of induction and eliminators. Providers.hsAdd a Cabal library REPL.hsInitial partial version of REPL error reflection REPLParser.hsAllow querying the registered error handlers Transforms.hsAdd a Cabal library Unlit.hsAdd a Cabal library UnusedArgs.hsAdd a Cabal library