../ Core/Fixes idris-lang/Idris-dev#971. Renames induction holes such that they are unique in context.13 years ago AbsSyntax.hsMerge remote-tracking branch 'upstream/master' into error-reflection13 years ago AbsSyntaxTree.hsAdd :apropos command to REPL13 years ago Apropos.hsAdd :apropos command to REPL13 years ago CaseSplit.hsNew syntax for documentation comments13 years ago Chaser.hsParser warnings; especially for invalid doc comments13 years ago Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt.13 years ago Completion.hsAllow users to disable the auto-solve in the prover13 years ago Coverage.hsNew syntax for documentation comments13 years ago DSL.hsSyntax for failures in pattern matching let/<-13 years ago DataOpts.hsPerformance/compiler temporary hack: %erase13 years ago DeepSeq.hsMerge pull request #962 from david-christiansen/markdown-docs13 years ago Delaborate.hsImprove error pretty-printing13 years ago Docs.hsUse Markdown to represent docstrings13 years ago Docstrings.hsAdd :apropos command to REPL13 years ago ElabDecls.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago ElabTerm.hsMerge remote-tracking branch 'upstream/master' into error-reflection13 years ago ErrReverse.hsFix for matchProblems13 years ago Error.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago Help.hsAdd :apropos command to REPL13 years ago IBC.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago IdeSlave.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago Imports.hsStrictness annotations13 years ago Inliner.hsAdd a Cabal library13 years ago ParseData.hsUse Markdown to represent docstrings13 years ago ParseExpr.hsSyntax for failures in pattern matching let/<-13 years ago ParseHelpers.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago ParseOps.hsUse Markdown to represent docstrings13 years ago Parser.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago PartialEval.hsNew syntax for documentation comments13 years ago Primitives.hsAdd ManagedPtr type13 years ago ProofSearch.hsNew syntax for documentation comments13 years ago Prover.hsAllow users to disable the auto-solve in the prover13 years ago Providers.hsNew syntax for documentation comments13 years ago REPL.hsAdd :apropos command to REPL13 years ago REPLParser.hsAdd :apropos command to REPL13 years ago Transforms.hsUse Data.Text for variable names13 years ago Unlit.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago UnusedArgs.hsRemove incorrect case from unused argument trace13 years ago