git.iko.soy/Idris-dev
on d1663cc help sign in
Idris-dev/src/Idris
34 files
../ AbsSyntax.hsSet up more partial evaluation machinery 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 regression with implicits, add a test ElabTerm.hsNormalise pattern types when typechecking Error.hsWhitespace cleanup. Help.hs:help and tab completion for :doc IBC.hsWhitespace cleanup. IdeSlave.hscleanups 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.hsMissing fixity declarations for infix operator functions is now a parser error. PartialEval.hsSet up more partial evaluation machinery Primitives.hsNull pointer primitive ProofSearch.hsWhitespace cleanup. Prover.hsFix display of errors in prover Providers.hsUse the ErrorT failure functions and attempt to preserve error structure REPL.hsMerge pull request #586 from david-christiansen/create-dir-startup REPLParser.hsWhitespace cleanup. Transforms.hsWhitespace cleanup. Unlit.hsWhitespace cleanup. UnusedArgs.hsWhitespace cleanup.