../ AbsSyntax.hsEliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 years ago AbsSyntaxTree.hsEliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 years ago CaseSplit.hsRemove "CaseSplit" constructor and implementation which could never be called (the REPLParser uses CaseSplitAt). Furhermore, we no longer need to export "split" from CaseSplit.hs13 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.hsMerge pull request #641 from ahmadsalim/feature/metavarprooffix13 years ago Coverage.hsWhitespace cleanup.13 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.hsEliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 years ago Delaborate.hsDisallow proving of top-level declarations and other meta-variables, fixes idris-lang/Idris-dev#4613 years ago Docs.hsWhitespace cleanup.13 years ago ElabDecls.hsEliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 years ago ElabTerm.hsTweak reduction rules for private/abstract names13 years ago Error.hsReport errors directly, instead of parsing the string given to ihputStrLn13 years ago Help.hs:help and tab completion for :doc13 years ago IBC.hsEliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 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.hsEliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 years ago ParseExpr.hsEliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 years ago ParseHelpers.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago ParseOps.hsChange '!' syntax and semantics to be uniform13 years ago Parser.hsTurn off optimisations when compiling parser13 years ago PartialEval.hsSet up more partial evaluation machinery13 years ago Primitives.hsNull pointer primitive13 years ago ProofSearch.hsWhitespace cleanup.13 years ago Prover.hsRemove calls to "error". Fixes #607.13 years ago Providers.hsUse the ErrorT failure functions and attempt to preserve error structure13 years ago REPL.hsFix error reporting: use the right id to report back by installing a catch block just after the id is set in the IState record13 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