../ Core/Tiny tidying up13 years ago AbsSyntax.hsAllow getting and setting options from IDESlave13 years ago AbsSyntaxTree.hsTiny tidying up13 years ago Apropos.hsMake :apropos case-insensitive13 years ago CaseSplit.hsMake names accessible before building case split13 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.hsAdd 'covering' function option13 years ago DSL.hsSyntax for failures in pattern matching let/<-13 years ago DataOpts.hsPerformance/compiler temporary hack: %erase13 years ago DeepSeq.hsMerge pull request #962 from david-christiansen/markdown-docs13 years ago Delaborate.hsShow argument names in :doc13 years ago Docs.hsOnly show documented arguments in :doc13 years ago Docstrings.hsSupport text formatting in docstrings13 years ago ElabDecls.hsUse postulates for decEq primitive proofs13 years ago ElabTerm.hsRe-enable function arg error reflection13 years ago ErrReverse.hsFix for matchProblems13 years ago Error.hsUse At to hold FCs13 years ago Help.hsChanged IdrisDoc interface, updated command descriptions.13 years ago IBC.hsAdd 'covering' function option13 years ago IdeSlave.hsAllow getting and setting options from IDESlave13 years ago IdrisDoc.hsRewrote implementation so far to be much smarter13 years ago Imports.hsStrictness annotations13 years ago Inliner.hsAdd a Cabal library13 years ago ParseData.hsUse Markdown to represent docstrings13 years ago ParseExpr.hsRequire content in tactic/proof blocks13 years ago ParseHelpers.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago ParseOps.hsTemporarily change back to UN to avoid strange errors13 years ago Parser.hsAdd 'covering' function option13 years ago PartialEval.hsNew syntax for documentation comments13 years ago Primitives.hsAdd ManagedPtr type13 years ago ProofSearch.hsNew syntax for documentation comments13 years ago Prover.hsShow argument names in :doc13 years ago Providers.hsNew syntax for documentation comments13 years ago REPL.hsMerge remote-tracking branch 'upstream/master' into idrisdoc13 years ago REPLParser.hsIdrisDoc begun13 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 UnusedArgs.hsRemove incorrect case from unused argument trace13 years ago