git.iko.soy/Idris-dev
on 3e47b49 help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Catch import errors in the right place AbsSyntax.hsDon't install packages if there are metavariables AbsSyntaxTree.hsMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-library 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.hsMerge branch 'master' into cabal-library DSL.hsAdd a Cabal library DataOpts.hsMerge branch 'master' into cabal-library DeepSeq.hsMerge branch 'master' into cabal-library Delaborate.hsFix another INTERNAL ERROR Docs.hsAdd a Cabal library ElabDecls.hsMerge branch 'master' into cabal-library ElabTerm.hsDon't unify explicit lambda types Error.hsAdd a Cabal library Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL IBC.hsMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-library 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.hsMerge branch 'master' into cabal-library Parser.hsMerge branch 'master' into cabal-library 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.hsList metavariables at REPL REPLParser.hsAdd a Cabal library Transforms.hsAdd a Cabal library Unlit.hsAdd a Cabal library UnusedArgs.hsAdd a Cabal library