git.iko.soy/Idris-dev
on 82c94b3 help sign in
Idris-dev/src/Idris
1 folder, 38 files
../ Core/Add stack of elaboration context to ElaboratingArg AbsSyntax.hsFix simple application AbsSyntaxTree.hsSupport text formatting in docstrings Apropos.hsMake :apropos case-insensitive CaseSplit.hsNew syntax for documentation comments 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.hsRemove some commented out code 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.hsAdd stack of elaboration context to ElaboratingArg Docs.hsUse Markdown to represent docstrings Docstrings.hsSupport text formatting in docstrings ElabDecls.hsRemove some commented-out code ElabTerm.hsAdd stack of elaboration context to ElaboratingArg ErrReverse.hsFix for matchProblems Error.hsUse At to hold FCs Help.hsAdd :apropos command to REPL IBC.hsSave pattern definitions/missing cases IdeSlave.hsSupport text formatting in docstrings Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsUse Markdown to represent docstrings ParseExpr.hsSyntax for failures in pattern matching let/<- ParseHelpers.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris ParseOps.hsTemporarily change back to UN to avoid strange errors Parser.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris PartialEval.hsNew syntax for documentation comments Primitives.hsAdd ManagedPtr type ProofSearch.hsNew syntax for documentation comments Prover.hsAdd basic elaboration context tracking to unification Providers.hsNew syntax for documentation comments REPL.hsSupport text formatting in docstrings 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