../ Core/Documentation for primitives12 years ago ASTUtils.hsAdd support for :set warnreach.12 years ago AbsSyntax.hsMake sensible implicit choices in :addlemma12 years ago AbsSyntaxTree.hs'search' now fails if there are metavariables12 years ago Apropos.hs:apropos syntax for binders12 years ago CaseSplit.hs:addclause now adds template bodies to instances12 years ago Chaser.hsBring module loading into Idris monad12 years ago Colours.hsSupport text formatting in docstrings13 years ago Completion.hsAllow the big startup banner to be disabled12 years ago Coverage.hsMake totality a warning until compiling12 years ago DSL.hsSyntax for failures in pattern matching let/<-13 years ago DataOpts.hsRemove collapsibility and forceability altogether.13 years ago DeepSeq.hs'search' now fails if there are metavariables12 years ago Delaborate.hsAdd ppOptionIst function.12 years ago Docs.hsMerge current master into fix/911- branch12 years ago Docstrings.hsEnable word-wrapping in docstrings13 years ago ElabDecls.hsCheck if class is meant to be empty...12 years ago ElabTerm.hs'search' now fails if there are metavariables12 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.hs'search' now fails if there are metavariables12 years ago IdeSlave.hsDocumentation for primitives12 years ago IdrisDoc.hsMerge branch 'master' of github.com:idris-lang/Idris-dev12 years ago Imports.hsBring module loading into Idris monad12 years ago Inliner.hsAdd a Cabal library13 years ago Interactive.hs:makelemma now works on provisional definitions12 years ago Output.hsMake totality a warning until compiling12 years ago ParseData.hsBug fixing of induction bugs13 years ago ParseExpr.hs'search' now fails if there are metavariables12 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.hsMerge pull request #1204 from david-christiansen/totality-warning12 years ago PartialEval.hsFirst attempt now at substitution to default args13 years ago Primitives.hsAdd primitive for stdout, stderr12 years ago ProofSearch.hsFix silly error in 'search'12 years ago Prover.hsShow let bindings with proper line breaks and indentation in prover12 years ago Providers.hsFirst attempt now at substitution to default args13 years ago REPL.hsAdd :makelemma command in interactive editing12 years ago REPLParser.hsAdd :makelemma command in interactive editing12 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