../ Core/Merge pull request #1143 from ahmadsalim/bug/inductionfix13 years ago ASTUtils.hsAdd comments.13 years ago AbsSyntax.hsAdapt expandParamsD to new parameter docs field in PClass12 years ago AbsSyntaxTree.hsAdd a field for parameter docstrings in the PClass constructor of PDecl'12 years ago Apropos.hsMake :apropos case-insensitive13 years ago CaseSplit.hs:makewith works with .lidr now13 years ago Chaser.hsParser warnings; especially for invalid doc comments13 years ago Colours.hsSupport text formatting in docstrings13 years ago Completion.hsAllow the big startup banner to be disabled12 years ago Coverage.hsAllow second argument of assert_smaller to be of different type than first argument since this could be useful for functions that are written with Universe-style pattern matching, i.e., where the rhs pattern has different type than the lhs expression.13 years ago DSL.hsSyntax for failures in pattern matching let/<-13 years ago DataOpts.hsRemove collapsibility and forceability altogether.13 years ago DeepSeq.hsAdd a field for parameter docstrings in the PClass constructor of PDecl'12 years ago Delaborate.hsMerge branch 'master' of github.com:edwinb/Idris-dev into default-arg-subst13 years ago Docs.hsUpdate subclass display in 'subclasses' to use consistent parameter names12 years ago Docstrings.hsEnable word-wrapping in docstrings13 years ago ElabDecls.hsMerge pull request #1160 from ahmadsalim/bug/furthereliminatorfixes12 years ago ElabTerm.hsMerge pull request #1130 from jonsterling/fix/reify-intro-induction13 years ago Erasure.hsAdd erasure postulates for unsafePerformPrimIO.13 years ago ErrReverse.hsFix for matchProblems13 years ago Error.hsProvide IDESlave output with docs and type13 years ago Help.hsRemove the REPL Info command13 years ago IBC.hsHandle extra field of PClass in IBC.hs12 years ago IdeSlave.hsAdd support for :refine to IDESlave13 years ago IdrisDoc.hsMerge branch 'master' into fix/1047-repl-doc-for-typeclasses13 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.hsBug fixing of induction bugs13 years ago ParseExpr.hsAdded nested record access syntax12 years ago ParseHelpers.hsAdd a field for parameter docstrings in the PClass constructor of PDecl'12 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.hsAdd a field for parameter docstrings in the PClass constructor of PDecl'12 years ago PartialEval.hsFirst attempt now at substitution to default args13 years ago Primitives.hsAdd ManagedPtr type13 years ago ProofSearch.hsAdd :refine (:ref) command for refining a hole13 years ago Prover.hsTweak mergeNotunified13 years ago Providers.hsFirst attempt now at substitution to default args13 years ago REPL.hsAllow the big startup banner to be disabled12 years ago REPLParser.hsAllow the big startup banner to be disabled12 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 WhoCalls.hsAdd :who-calls and :calls-who to IDESlave13 years ago