git.iko.soy/Idris-dev
on a9dd2e4 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Lift out proof term into a separate module Elab/Split elaborator into multiple source files ASTUtils.hsAdd support for :set warnreach. AbsSyntax.hsFix parameter spotting in function types AbsSyntaxTree.hsAdd %no_implicit directive Apropos.hs:apropos syntax for binders CaseSplit.hsSplit elaborator into multiple source files 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.hsDisable old productivity checker DSL.hsKeep type arguments of = when unelaborating DataOpts.hsRemove collapsibility and forceability altogether. DeepSeq.hsAdd tactics "skip" and "fail" Delaborate.hsSpot name clases in error messages Docs.hsMerge branch 'master' into parenthasizeInfix Docstrings.hsEnable word-wrapping in docstrings ElabDecls.hsSplit elaborator into multiple source files ElabQuasiquote.hsKeep type arguments of = when unelaborating ElabTerm.hsAdd %no_implicit directive 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.hsAdd %no_implicit directive 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.hsSplit elaborator into multiple source files Output.hsMake type search work in the prover ParseData.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic ParseExpr.hsAllow “!” to start a larger operator ParseHelpers.hsSupport multiple let bindings ParseOps.hsKeep type arguments of = when unelaborating Parser.hsAdd %no_implicit directive PartialEval.hsAdded some additional documentation for partial evaluation Primitives.hsAdd a prim__systemInfo primitive. ProofSearch.hsAdd an optional depth to 'search' tactic Prover.hsSplit elaborator into multiple source files Providers.hsDistinguish postulate providers and type providers at use site REPL.hsSplit elaborator into multiple source files REPLParser.hsFixed wrong handling of whitespace between commands and arguments Transforms.hsUse Data.Text for variable names TypeSearch.hsSplit elaborator into multiple source files 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