../ Core/Merge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago ASTUtils.hsAdd support for :set warnreach.12 years ago AbsSyntax.hsAdd semantic highlighting for postulates12 years ago AbsSyntaxTree.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago Apropos.hs:apropos syntax for binders12 years ago CaseSplit.hsOne more case-splitting fix12 years ago Chaser.hsBring module loading into Idris monad12 years ago CmdOptions.hsMerge pull request #1280 from david-christiansen/testrunner12 years ago Colours.hsAdd semantic highlighting for postulates12 years ago Completion.hsFinal cleanup/check of case tactic implementation12 years ago Coverage.hsFind negative occurrences in positivity checker12 years ago DSL.hsAdd pi to overridable syntax in DSL blocks12 years ago DataOpts.hsRemove collapsibility and forceability altogether.13 years ago DeepSeq.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago Delaborate.hsAdd semantic highlighting for postulates12 years ago Docs.hsMerge current master into fix/911- branch12 years ago Docstrings.hsEnable word-wrapping in docstrings13 years ago ElabDecls.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago ElabTerm.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago Erasure.hsMerge remote-tracking branch 'upstream/master' into cantResolveAlts12 years ago ErrReverse.hsFix for matchProblems13 years ago Error.hsFix missing function call from 723d972b212 years ago Help.hsAdded warranty information to the Idris Repl.12 years ago IBC.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago IdeSlave.hsAdd semantic highlighting for postulates12 years ago IdrisDoc.hsFinal cleanup/check of case tactic implementation12 years ago Imports.hsBring module loading into Idris monad12 years ago Inliner.hsAdd a Cabal library13 years ago Interactive.hsAdd new Err constructor to disambiguate the CantResolveAlts constructor.12 years ago Output.hsMerge remote-tracking branch 'upstream/master' into cantResolveAlts12 years ago ParseData.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago ParseExpr.hs"auto" now does proof search12 years ago ParseHelpers.hsFix zero argument with clauses12 years ago ParseOps.hsRestored "__pi_arg" to use UN instead of MN again (due to a test failure). Removed commented out code.13 years ago Parser.hsDistinguish postulate providers and type providers at use site12 years ago PartialEval.hsFirst attempt now at substitution to default args13 years ago Primitives.hsAdd a prim__systemInfo primitive.12 years ago ProofSearch.hsAdd an optional depth to 'search' tactic12 years ago Prover.hsIDESlave protocol fixes in case of error12 years ago Providers.hsDistinguish postulate providers and type providers at use site12 years ago REPL.hsMerge pull request #1296 from david-christiansen/ide-prover12 years ago REPLParser.hsAdd semantic highlighting for postulates12 years ago Transforms.hsUse Data.Text for variable names13 years ago TypeSearch.hsImprove appearance of type search results.12 years ago Unlit.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago WhoCalls.hsAdd :who-calls and :calls-who to IDESlave13 years ago