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 e78c2bbMerge branch 'partial-eval' of github.com:edwinb/Idris-dev into partial-evalEdwin Brady12 years ago 93aa39cParameters should be made 'static'Edwin Brady12 years ago 03082fbParameters should be made 'static'Edwin Brady12 years ago c81ad3bMerge pull request #1632 from edwinb/remove-supportEdwin Brady12 years ago 6170744change lambda formatJP Smith12 years ago dc5298fChanging all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>')johnny-john12 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 ac30a5aRenamed VoidElim to void in order to ensure further consistencyAhmad Salim Al-Sibahi12 years ago 553a622Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi12 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 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 6f92c44More docs for Prelude.Listjohnny-john12 years ago a1c7a5aUpdate READMEMarkus Pfeiffer12 years ago 1a30718Update READMEMarkus Pfeiffer12 years ago d99ce6eAdapt README to reflect the current state of code generators.Markus Pfeiffer12 years ago