git.iko.soy/Idris-dev
on ad995dc help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Check that case does not overspecialise AbsSyntax.hsDon't install packages if there are metavariables AbsSyntaxTree.hsInduction now works on types with parameters 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.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.hsFix another INTERNAL ERROR Docs.hsAdd a Cabal library ElabDecls.hsMerge pull request #767 from ahmadsalim/feature/inductionimprovements ElabTerm.hsCase branches can depend on scrutinee 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.hsInduction now works on types with parameters 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.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.hsRemove MVar from REPL REPLParser.hsAdd a Cabal library Transforms.hsAdd a Cabal library Unlit.hsAdd a Cabal library UnusedArgs.hsAdd a Cabal library