../ Core/Case tree building considers heterogeneous types13 years ago ASTUtils.hsAdd comments.13 years ago AbsSyntax.hsSimplify unused arg search.13 years ago AbsSyntaxTree.hsMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdoc13 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.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 :refine (:ref) command for refining a hole13 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.hsFix inaccessibility elaboration.13 years ago ElabTerm.hsAdd :refine (:ref) command for refining a hole13 years ago Erasure.hsMake the rest of erasure use ASTUtils.13 years ago ErrReverse.hsFix for matchProblems13 years ago Error.hsProvide IDESlave output with docs and type13 years ago Help.hsMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdoc13 years ago IBC.hsAdd :refine (:ref) command for refining a hole13 years ago IdeSlave.hsAdd support for :refine to IDESlave13 years ago IdrisDoc.hsMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdoc13 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.hsAdd :refine (:ref) command for refining a hole13 years ago ParseHelpers.hsSimplified some lookaheads and grammar rules for lambda expressions and other internal expressions.13 years ago ParseOps.hsFix parsing of $13 years ago Parser.hsSimplified some lookaheads and grammar rules for lambda expressions and other internal expressions.13 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.hsRespect accessibility in case tree elaboration.13 years ago Providers.hsFirst attempt now at substitution to default args13 years ago REPL.hsMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdoc13 years ago REPLParser.hsMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdoc13 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