e09ef82Improve PE for class constraints and HOFsEdwin Brady12 years ago 02de034Undo log level 0!Edwin Brady12 years ago 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