../ AbsSyntax.hsDefault superclass intances13 years ago AbsSyntaxTree.hsMerge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instances13 years ago CaseSplit.hsCosmetic tweak in interactive editing13 years ago Chaser.hsWhitespace cleanup.13 years ago Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt.13 years ago Completion.hsAdd 'equiv' to autocompletion of tactics13 years ago Coverage.hsSome interactive editing fixes13 years ago DSL.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago DataOpts.hsLibrary changes: Please read details below!13 years ago DeepSeq.hsMerge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instances13 years ago Delaborate.hsAdd missing error message Fixes #69313 years ago Docs.hsWhitespace cleanup.13 years ago ElabDecls.hsMerge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instances13 years ago ElabTerm.hsMerge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instances13 years ago Error.hsReport errors directly, instead of parsing the string given to ihputStrLn13 years ago Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL13 years ago IBC.hsMerge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instances13 years ago IdeSlave.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago Imports.hsWhitespace cleanup.13 years ago Inliner.hsWhitespace cleanup.13 years ago ParseData.hsAdd %name directive for naming hints in editing.13 years ago ParseExpr.hsInduction on nat working13 years ago ParseHelpers.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago ParseOps.hsFixed malformed haddock comments13 years ago Parser.hsDefault superclass intances13 years ago PartialEval.hsSwitch on 'elabPE'13 years ago Primitives.hsNull pointer primitive13 years ago ProofSearch.hsWhitespace cleanup.13 years ago Prover.hsImprovment on readability and usability of induction and eliminators.13 years ago Providers.hsUse the ErrorT failure functions and attempt to preserve error structure13 years ago REPL.hsMerge pull request #722 from puffnfresh/simplify-setverbose13 years ago REPLParser.hsMerge pull request #640 from david-christiansen/color-theme-default-option13 years ago Transforms.hsWhitespace cleanup.13 years ago Unlit.hsWhitespace cleanup.13 years ago UnusedArgs.hsWhitespace cleanup.13 years ago