git.iko.soy/Idris-dev
on ce2d69d help sign in
Idris-dev/src/Idris
35 files
../ AbsSyntax.hsCareful when unifying explicit arguments AbsSyntaxTree.hsAllow querying the registered error handlers CaseSplit.hsCareful when unifying explicit arguments Chaser.hsWhitespace cleanup. Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt. Completion.hsAdd 'equiv' to autocompletion of tactics Coverage.hsRecursive constructor disjointness + cleanup DSL.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies DataOpts.hsFix too-new import DeepSeq.hsMerge branch 'forceability-cleanup-squashed' of https://github.com/ziman/idris into ziman-forceability-cleanup-squashed Delaborate.hsAdd missing error message Fixes #693 Docs.hsWhitespace cleanup. ElabDecls.hsCheck the type of elaborated error handlers ElabTerm.hsMerge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instances Error.hsReport errors directly, instead of parsing the string given to ihputStrLn 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 'origin/error-reflection' into error-reflection IdeSlave.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies Imports.hsWhitespace cleanup. Inliner.hsWhitespace cleanup. ParseData.hsAdd %name directive for naming hints in editing. ParseExpr.hsInduction on nat working ParseHelpers.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies ParseOps.hsFixed malformed haddock comments Parser.hsMerge remote-tracking branch 'origin/error-reflection' into error-reflection PartialEval.hsSwitch on 'elabPE' Primitives.hsNull pointer primitive ProofSearch.hsWhitespace cleanup. Prover.hsImprovment on readability and usability of induction and eliminators. Providers.hsUse the ErrorT failure functions and attempt to preserve error structure REPL.hsAllow querying the registered error handlers REPLParser.hsAllow querying the registered error handlers Transforms.hsWhitespace cleanup. Unlit.hsWhitespace cleanup. UnusedArgs.hsWhitespace cleanup.