../ Core/Maintain pretty-printer bound vars12 years ago ASTUtils.hsAdd support for :set warnreach.12 years ago AbsSyntax.hsElaborate qquotes in fresh proof state12 years ago AbsSyntaxTree.hsParsing for quasiquotes12 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.hsParsing for quasiquotes12 years ago Delaborate.hsMaintain pretty-printer bound vars12 years ago Docs.hsMerge branch 'master' into parenthasizeInfix12 years ago Docstrings.hsEnable word-wrapping in docstrings13 years ago ElabDecls.hsFix implicit spotting in case blocks12 years ago ElabQuasiquote.hsInitial support for unquotes12 years ago ElabTerm.hsAllow reflecting types with quasiquote patterns12 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.hsParsing for quasiquotes12 years ago IdeSlave.hsMaintain pretty-printer bound vars12 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 branch 'master' into parenthasizeInfix12 years ago ParseData.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago ParseExpr.hsSupport simple quasiquote patterns12 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.hsMerge branch 'master' into parenthasizeInfix12 years ago Providers.hsDistinguish postulate providers and type providers at use site12 years ago REPL.hsMerge branch 'master' into parenthasizeInfix12 years ago REPLParser.hsAdd semantic highlighting for postulates12 years ago Transforms.hsUse Data.Text for variable names13 years ago TypeSearch.hsIgnore default class methods in :search12 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