../ Core/Fix name propagation in error messages12 years ago ASTUtils.hsAdd support for :set warnreach.12 years ago AbsSyntax.hsAdd semantic highlighting for postulates12 years ago AbsSyntaxTree.hsMerge pull request #1288 from david-christiansen/issue/128612 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.hsAllow the big startup banner to be disabled12 years ago Coverage.hsFind negative occurrences in positivity checker12 years ago DSL.hsSyntax for failures in pattern matching let/<-13 years ago DataOpts.hsRemove collapsibility and forceability altogether.13 years ago DeepSeq.hsDistinguish postulate providers and type providers at use site12 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.hsDistinguish postulate providers and type providers at use site12 years ago ElabTerm.hsMerge branch 'master' of github.com:idris-lang/Idris-dev12 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.hsMake load to line work with mutual blocks12 years ago IdeSlave.hsAdd semantic highlighting for postulates12 years ago IdrisDoc.hsAdd an optional depth to 'search' tactic12 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.hsBug fixing of induction bugs12 years ago ParseExpr.hsAdd an optional depth to 'search' tactic12 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.hsCheck that proof steps introduce no new problems12 years ago Providers.hsDistinguish postulate providers and type providers at use site12 years ago REPL.hsMerge remote-tracking branch 'upstream/master' into cantResolveAlts12 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