git.iko.soy/Idris-dev
on 9040aba help sign in
Idris-dev/src/Idris
1 folder, 46 files
../ Core/Elaborate quasiquote patterns to something useful ASTUtils.hsAdd support for :set warnreach. AbsSyntax.hsAdd goal types to quasiquotes. AbsSyntaxTree.hsAdd goal types to quasiquotes. Apropos.hs:apropos syntax for binders CaseSplit.hsOne more case-splitting fix 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.hsFind negative occurrences in positivity checker DSL.hsSupport builds that doesn't use cabal for libs and rts DataOpts.hsRemove collapsibility and forceability altogether. DeepSeq.hsParsing for quasiquotes Delaborate.hsMaintain pretty-printer bound vars Docs.hsMerge branch 'master' into parenthasizeInfix Docstrings.hsEnable word-wrapping in docstrings ElabDecls.hsSupport builds that doesn't use cabal for libs and rts ElabQuasiquote.hsAdd goal types to quasiquotes. ElabTerm.hsAdd goal types to quasiquotes. 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.hsParsing for quasiquotes IdeSlave.hsMaintain pretty-printer bound vars IdrisDoc.hsSupport builds that doesn't use cabal for libs and rts Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hsAdd a Cabal library Interactive.hsAdd new Err constructor to disambiguate the CantResolveAlts constructor. Output.hsMerge branch 'master' into parenthasizeInfix ParseData.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic ParseExpr.hsAdd goal types to quasiquotes. ParseHelpers.hsFix zero argument with clauses ParseOps.hsRestored "__pi_arg" to use UN instead of MN again (due to a test failure). Removed commented out code. Parser.hsDistinguish postulate providers and type providers at use site PartialEval.hsFirst attempt now at substitution to default args Primitives.hsAdd a prim__systemInfo primitive. ProofSearch.hsAdd an optional depth to 'search' tactic Prover.hsMerge branch 'master' into parenthasizeInfix Providers.hsDistinguish postulate providers and type providers at use site REPL.hsSupport builds that doesn't use cabal for libs and rts REPLParser.hsAdd semantic highlighting for postulates Transforms.hsUse Data.Text for variable names TypeSearch.hsIgnore believe_me in :search since its type is a lie! 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