git.iko.soy/Idris-dev
on 194c86b help sign in
Idris-dev/src/Idris
1 folder, 46 files
../ Core/Remove dodgy unification hack ASTUtils.hsAdd support for :set warnreach. AbsSyntax.hsFix scope/matching issues in proof scripts AbsSyntaxTree.hsMake type search work in the prover Apropos.hs:apropos syntax for binders CaseSplit.hsAdd parens on generated S patterns Chaser.hsBring module loading into Idris monad CmdOptions.hsMerge pull request #1280 from david-christiansen/testrunner Colours.hsAdd semantic highlighting for postulates Completion.hsFinal cleanup/check of case tactic implementation Coverage.hsBring erasure info to the case tree builder. DSL.hsKeep type arguments of = when unelaborating DataOpts.hsRemove collapsibility and forceability altogether. DeepSeq.hsKeep type arguments of = when unelaborating Delaborate.hsKeep type arguments of = when unelaborating Docs.hsMerge branch 'master' into parenthasizeInfix Docstrings.hsEnable word-wrapping in docstrings ElabDecls.hsDon't do trace when `with` doesn't match ElabQuasiquote.hsKeep type arguments of = when unelaborating ElabTerm.hsFix scope/matching issues in proof scripts Erasure.hsMerge remote-tracking branch 'upstream/master' into cantResolveAlts ErrReverse.hsFix for matchProblems Error.hsFix missing function call from 723d972b2 Help.hsAdded warranty information to the Idris Repl. IBC.hsKeep type arguments of = when unelaborating IdeSlave.hsMaintain pretty-printer bound vars IdrisDoc.hsKeep type arguments of = when unelaborating Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hsAdd a Cabal library Interactive.hsBetter treatment of unbound implicits Output.hsMake type search work in the prover ParseData.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic ParseExpr.hsMake type search work in the prover ParseHelpers.hsSupport multiple let bindings ParseOps.hsKeep type arguments of = when unelaborating Parser.hsBring erasure info to the case tree builder. PartialEval.hsAdded some additional documentation for partial evaluation Primitives.hsAdd a prim__systemInfo primitive. ProofSearch.hsAdd an optional depth to 'search' tactic Prover.hsFix scope/matching issues in proof scripts Providers.hsDistinguish postulate providers and type providers at use site REPL.hsAllow :let in ideslave REPLParser.hsMerge pull request #1363 from bmsherman/parseDef Transforms.hsUse Data.Text for variable names TypeSearch.hsMake type search work in the prover Unlit.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris WhoCalls.hsAdd :who-calls and :calls-who to IDESlave