../ Core/Elaborate quasiquote patterns to something useful12 years ago ASTUtils.hsAdd support for :set warnreach.12 years ago AbsSyntax.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into quasiquote12 years ago AbsSyntaxTree.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into quasiquote12 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.hsSupport builds that doesn't use cabal for libs and rts12 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.hsSupport builds that doesn't use cabal for libs and rts12 years ago ElabQuasiquote.hsImplement unquoting for the rest of PTerm12 years ago ElabTerm.hsFix type error in generated 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.hsSupport builds that doesn't use cabal for libs and rts12 years ago Imports.hsSupport builds that doesn't use cabal for libs and rts12 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.hsSupport builds that doesn't use cabal for libs and rts12 years ago REPLParser.hsAdd semantic highlighting for postulates12 years ago Transforms.hsUse Data.Text for variable names13 years ago TypeSearch.hsIgnore believe_me in :search since its type is a lie!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