7a23995Extend PE to look under pattern matching defsEdwin Brady12 years ago 6f9d433Parameters should be made 'static'Edwin Brady12 years ago 24afd9cMerge pull request #1644 from alterapraxisptyltd/algebraEdwin Brady12 years ago cd7e946Merge pull request #1645 from jfdm/update-contribEdwin Brady12 years ago e0e2e4cMerge pull request #1636 from alterapraxisptyltd/issue-1610Edwin Brady12 years ago f5f4fbeMerge pull request #1635 from japesinator/add_zip3_vectsEdwin Brady12 years ago 60ee95bMerge pull request #1612 from johnny-john/docsnippetsEdwin Brady12 years ago 390b260Implement the VectorSpace structure in the PreludeEdward O'Callaghan12 years ago 4034b10Implement the Field structure in the PreludeEdward O'Callaghan12 years ago 6b1f829Updated contributed.md.Jan de Muijnck-Hughes12 years ago b6c9730Prelude/Algebra.idr: Fix typo in commentEdward O'Callaghan12 years ago c81ad3bMerge pull request #1632 from edwinb/remove-supportEdwin Brady12 years ago 6170744change lambda formatJP Smith12 years ago 2f9d9cbrts/idris_rts.c: Fix referenced after allocation that may moved awayEdward O'Callaghan12 years ago dab2121fixed zipWith3JP Smith12 years ago f287e5ffixed a second stupid error in unzip3, also indentationJP Smith12 years ago 023f6f1fixed a stupid error in unzip3JP Smith12 years ago 7afa310added zipWith3, zip3, and unzip3 for VectsJP Smith12 years ago 37d7ef4Remove dead code in supportEdwin Brady12 years ago 74ad9d5Merge pull request #1631 from edwinb/force-ibcEdwin Brady12 years ago 419770fMerge pull request #1630 from edwinb/partial-evalEdwin Brady12 years ago 56c216dIncrement IBCEdwin Brady12 years ago 76103c0Allow Partial Eval of lambdas/lets in static posEdwin Brady12 years ago e890280Merge pull request #1619 from ahmadsalim/feature/renamevoidEdwin Brady12 years ago c6da5f6Allow Partial Eval of lambdas/lets in static posEdwin Brady12 years ago 7a0f64dUpdate version number ready for upcoming releaseEdwin Brady12 years ago 6bcf43aMerge pull request #1625 from edwinb/partial-evalEdwin Brady12 years ago abc2002Merge pull request #1623 from edwinb/patvarsEdwin Brady12 years ago 3ade599Partial evaluator fixesEdwin Brady12 years ago 6e74e33Fix for pattern vars in transformsEdwin Brady12 years ago 2f26892Merge pull request #1622 from edwinb/case-fixEdwin Brady12 years ago 8e26550Merge pull request #1621 from trillioneyes/repl-definitionsEdwin Brady12 years ago 72b9e95Merge pull request #1618 from jfdm/tidyup/lift-todos-3Edwin Brady12 years ago e1d40fcMerge branch 'master' of git://github.com/idris-lang/Idris-dev into case-fixEdwin Brady12 years ago 2878ff3Solve more implicits before 'case' elaborationEdwin Brady12 years ago 1c8c27eMerge branch 'master' of https://github.com/idris-lang/Idris-dev into repl-definitionsAlyssa Carter12 years ago c7e8834:let at the REPL now supports syntax extensions!Alyssa Carter12 years ago 37eae55Factor `addSyntax` out of `syntaxDecl` parserAlyssa Carter12 years ago d6981dcRenamed VoidElim to void in order to ensure further consistencyAhmad Salim Al-Sibahi12 years ago edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi12 years ago d46d65eMerge pull request #1613 from david-christiansen/doc-examplesDavid Christiansen12 years ago 76ab2e2Lifted the TODOs from Primitives.hsJan de Muijnck-Hughes12 years ago 54dbb85Added TODOs and FIXMEs from the Elaborator for Data.Jan de Muijnck-Hughes12 years ago 8698afcRemoved old comment from `src/Idris/Elab/Data.hs`Jan de Muijnck-Hughes12 years ago c2c6666Lifted TODOs and FIXMEs from clause and instance elaboratorJan de Muijnck-Hughes12 years ago 16ff91fAdd syntax for example code to docsDavid Raymond Christiansen12 years ago b65d2c4Merge pull request #1586 from Helkafen/hashDavid Christiansen12 years ago 6f92c44More docs for Prelude.Listjohnny-john12 years ago cb5ed53Added TODOs from IdeSlave.hsJan de Muijnck-Hughes12 years ago 8430f90Improved docs for Data.HashSebastian de Bellefon12 years ago