../ Core/Documentation for primitives12 years ago ASTUtils.hsAdd support for :set warnreach.12 years ago AbsSyntax.hsImprove ideslave highlighting of primitives12 years ago AbsSyntaxTree.hsMerge pull request #1204 from david-christiansen/totality-warning12 years ago Apropos.hs:apropos syntax for binders12 years ago CaseSplit.hsFix interactive editing and tests12 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.hsAdd a field for parameter docstrings in the PClass constructor of PDecl'12 years ago Delaborate.hsAdd ppOptionIst function.12 years ago Docs.hsMerge pull request #1208 from david-christiansen/primitive-docs12 years ago Docstrings.hsEnable word-wrapping in docstrings13 years ago ElabDecls.hsChange impl argument to a pretty printing opt record13 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.hsMake totality a warning until compiling12 years ago IdeSlave.hsDocumentation for primitives12 years ago IdrisDoc.hsImprove ideslave highlighting of primitives12 years ago Imports.hsBring module loading into Idris monad12 years ago Inliner.hsAdd a Cabal library13 years ago Output.hsMake totality a warning until compiling12 years ago ParseData.hsBug fixing of induction bugs13 years ago ParseExpr.hsFix Haddock build problems12 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 ManagedPtr type13 years ago ProofSearch.hsAdd :refine (:ref) command for refining a hole13 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.hsMerge pull request #1204 from david-christiansen/totality-warning12 years ago REPLParser.hsDocumentation for primitives12 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