git.iko.soy/Idris-dev
on 6412ae4 help sign in
Idris-dev/src/Idris
34 files
../ AbsSyntax.hsMake --ideslave imply --nocolour AbsSyntaxTree.hsFix case split bug on complex nested patterns CaseSplit.hsFix case split bug on complex nested patterns Chaser.hsWhitespace cleanup. Colours.hsAdd ability to set ANSI italics Completion.hsAdd new editor commands to tab completion Coverage.hsWhitespace cleanup. DSL.hsWhitespace cleanup. DataOpts.hsNormalise pattern types when typechecking Delaborate.hsWhitespace cleanup. Docs.hsWhitespace cleanup. ElabDecls.hsFix integer literals at REPL ElabTerm.hsNormalise pattern types when typechecking Error.hsWhitespace cleanup. Help.hs:help and tab completion for :doc IBC.hsWhitespace cleanup. IdeSlave.hsImplement type-of ideslave command, which uses Check in the background Imports.hsWhitespace cleanup. Inliner.hsWhitespace cleanup. ParseData.hsWhitespace cleanup. ParseExpr.hsFixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?= ParseHelpers.hsWhitespace cleanup. ParseOps.hsChange '!' syntax and semantics to be uniform Parser.hsWhitespace cleanup. PartialEval.hsSet up more partial evaluation machinery Primitives.hsNull pointer primitive ProofSearch.hsWhitespace cleanup. Prover.hsRemove calls to "error". Fixes #607. Providers.hsUse the ErrorT failure functions and attempt to preserve error structure REPL.hsImplement type-of ideslave command, which uses Check in the background REPLParser.hsWhitespace cleanup. Transforms.hsWhitespace cleanup. Unlit.hsWhitespace cleanup. UnusedArgs.hsWhitespace cleanup.