git.iko.soy/Idris-dev
on 3d59246 help sign in
Idris-dev/src/Idris
1 folder, 39 files
../ Core/Normalise thunk contents when returning from executor AbsSyntax.hsProvide IDESlave output with docs and type AbsSyntaxTree.hsProvide IDESlave output with docs and type 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.hsProvide IDESlave output with docs and type 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.hsProvide IDESlave output with docs and type 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.hsProvide IDESlave output with docs and type 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.hsTemporarily change back to UN to avoid strange errors Parser.hsProvide IDESlave output with docs and type 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.hsProvide IDESlave output with docs and type 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