../ Core/Make ProjCase take exactly one alternative. (TODO: is this safe?)13 years ago AbsSyntax.hsSimplify unused arg search.13 years ago AbsSyntaxTree.hsMerge pull request #1040 from david-christiansen/issue/101913 years ago Apropos.hsMake :apropos case-insensitive13 years ago CaseSplit.hsProvide IDESlave output with docs and type13 years ago Chaser.hsParser warnings; especially for invalid doc comments13 years ago Colours.hsSupport text formatting in docstrings13 years ago Completion.hsAllow users to disable the auto-solve in the prover13 years ago Coverage.hsMerge branch 'master' of github.com:edwinb/Idris-dev into default-arg-subst13 years ago DSL.hsSyntax for failures in pattern matching let/<-13 years ago DataOpts.hsPerformance/compiler temporary hack: %erase13 years ago DeepSeq.hsFirst attempt now at substitution to default args13 years ago Delaborate.hsMerge branch 'master' of github.com:edwinb/Idris-dev into default-arg-subst13 years ago Docs.hsOnly show documented arguments in :doc13 years ago Docstrings.hsSupport text formatting in docstrings13 years ago ElabDecls.hsMake a note of deferred data types13 years ago ElabTerm.hsMerge branch 'master' of github.com:edwinb/Idris-dev into default-arg-subst13 years ago Erasure.hsRemove unused code.13 years ago ErrReverse.hsFix for matchProblems13 years ago Error.hsProvide IDESlave output with docs and type13 years ago Help.hsAdd :apropos command to REPL13 years ago IBC.hsAnother intercommit.13 years ago IdeSlave.hsAdd command to IDESlave for metavars13 years ago Imports.hsStrictness annotations13 years ago Inliner.hsAdd a Cabal library13 years ago Output.hsProvide IDESlave output with docs and type13 years ago ParseData.hsUse Markdown to represent docstrings13 years ago ParseExpr.hsFixed errors; partially complete default arg subs13 years ago ParseHelpers.hsProvide IDESlave output with docs and type13 years ago ParseOps.hsFix parsing of $13 years ago Parser.hsMerge pull request #1035 from puffnfresh/bug/parser-nocolour13 years ago PartialEval.hsFirst attempt now at substitution to default args13 years ago Primitives.hsAdd ManagedPtr type13 years ago ProofSearch.hsNew syntax for documentation comments13 years ago Prover.hsProvide IDESlave output with docs and type13 years ago Providers.hsFirst attempt now at substitution to default args13 years ago REPL.hsRename UnusedArgs to Erasure.13 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