git.iko.soy/Idris-dev
on 860cdc0 help sign in
Idris-dev/src/Idris
1 folder, 39 files
../ Core/Provide IDESlave output with docs and type AbsSyntax.hsMake unique name generation much quicker AbsSyntaxTree.hsEnsure modules are loaded independently Apropos.hsMake :apropos case-insensitive CaseSplit.hsProvide IDESlave output with docs and type Chaser.hsParser warnings; especially for invalid doc comments Colours.hsSupport text formatting in docstrings Completion.hsAllow users to disable the auto-solve in the prover Coverage.hsEfficiency of coverage check DSL.hsSyntax for failures in pattern matching let/<- DataOpts.hsPerformance/compiler temporary hack: %erase DeepSeq.hsMerge pull request #962 from david-christiansen/markdown-docs Delaborate.hsProvide IDESlave output with docs and type Docs.hsOnly show documented arguments in :doc Docstrings.hsSupport text formatting in docstrings ElabDecls.hsEfficiency of coverage check ElabTerm.hsProvide IDESlave output with docs and type ErrReverse.hsFix for matchProblems Error.hsProvide IDESlave output with docs and type Help.hsAdd :apropos command to REPL IBC.hsAllow resolving metavariables from ibcs IdeSlave.hsProvide IDESlave output with docs and type Imports.hsStrictness annotations Inliner.hsAdd a Cabal library Output.hsProvide IDESlave output with docs and type ParseData.hsUse Markdown to represent docstrings ParseExpr.hsRequire content in tactic/proof blocks ParseHelpers.hsProvide IDESlave output with docs and type ParseOps.hsFix parsing of $ Parser.hsEnsure modules are loaded independently PartialEval.hsNew syntax for documentation comments Primitives.hsAdd ManagedPtr type ProofSearch.hsNew syntax for documentation comments Prover.hsProvide IDESlave output with docs and type Providers.hsNew syntax for documentation comments REPL.hsShow type class parameters in :i REPLParser.hsAdd :apropos command to REPL Transforms.hsUse Data.Text for variable names Unlit.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris UnusedArgs.hsRemove incorrect case from unused argument trace