git.iko.soy/Idris-dev
on fdb46c7 help sign in
Idris-dev/src/Idris
1 folder, 37 files
../ Core/Unification tweak; better disambiguation AbsSyntax.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris AbsSyntaxTree.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris CaseSplit.hsNew syntax for documentation comments Chaser.hsParser warnings; especially for invalid doc comments Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt. Completion.hsAllow users to disable the auto-solve in the prover Coverage.hsNew syntax for documentation comments 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.hsPretty printing fix Docs.hsUse Markdown to represent docstrings Docstrings.hsUse Markdown to represent docstrings ElabDecls.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris ElabTerm.hsMerge pull request #965 from ahmadsalim/feature/parserspanning ErrReverse.hsFix for matchProblems Error.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris Help.hsAutomatically detect console width IBC.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris IdeSlave.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris 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.hsUse Markdown to represent docstrings 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.hsAllow users to disable the auto-solve in the prover Providers.hsNew syntax for documentation comments REPL.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris REPLParser.hsAllow users to disable the auto-solve in the prover 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