git.iko.soy/Idris-dev
on dd51570 help sign in
Idris-dev/src/Idris
1 folder, 38 files
../ Core/Fix "Force" in case tree for new indexed form AbsSyntax.hsAnother wee comment adjustment AbsSyntaxTree.hsComment cleanup. Apropos.hsMake :apropos case-insensitive CaseSplit.hsMake names accessible before building case split 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.hsFixed errors; partially complete default arg subs DSL.hsSyntax for failures in pattern matching let/<- DataOpts.hsPerformance/compiler temporary hack: %erase DeepSeq.hsFirst attempt now at substitution to default args Delaborate.hsFirst attempt now at substitution to default args Docs.hsOnly show documented arguments in :doc Docstrings.hsSupport text formatting in docstrings ElabDecls.hsRevert typeclass changes. ElabTerm.hsComment cleanup. ErrReverse.hsFix for matchProblems Error.hsUse At to hold FCs Help.hsAdd :apropos command to REPL IBC.hsFirst attempt now at substitution to default args IdeSlave.hsAllow getting and setting options from IDESlave Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsUse Markdown to represent docstrings ParseExpr.hsFixed errors; partially complete default arg subs 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.hsFixed errors; partially complete default arg subs PartialEval.hsFirst attempt now at substitution to default args Primitives.hsAdd ManagedPtr type ProofSearch.hsNew syntax for documentation comments Prover.hsShow argument names in :doc Providers.hsFirst attempt now at substitution to default args REPL.hsAllow getting and setting options from IDESlave 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