ab2a29fMerge pull request #1658 from david-christiansen/todo-removalEdwin Brady12 years ago cdff1dbMerge pull request #1659 from edwinb/partial-evalEdwin Brady12 years ago 8e6b636Optimisation optionsEdwin Brady12 years ago 30580dbRemoval of minor TODOsDavid Raymond Christiansen12 years ago 03f6913Partially evaluate type class dictionariesEdwin Brady12 years ago b0e1ecfMerge pull request #1655 from david-christiansen/docsDavid Christiansen12 years ago 8d486a7Make all code examples typecheckDavid Raymond Christiansen12 years ago e90316aSupport type errors in docstringsDavid Raymond Christiansen12 years ago dd3d445Binary instance for Err + binary fixesDavid Raymond Christiansen12 years ago 0ac10a8Merge pull request #1657 from raichoo/masterraichoo12 years ago 1edee17javascript: #1641 add missing primitiveraichoo12 years ago 466a2e7Merge pull request #1654 from edwinb/partial-evalEdwin Brady12 years ago 08b2668Merge pull request #1653 from japesinator/add_zip3_streamsEdwin Brady12 years ago 5ce2c23Merge pull request #1651 from Melvar/pureM-functionEdwin Brady12 years ago 22eb6a9Merge pull request #1638 from johnny-john/lambdastyleEdwin Brady12 years ago 72bdda6Merge branch 'partial-eval' of github.com:edwinb/Idris-dev into partial-evalEdwin Brady12 years ago 41ad3bdMerge branch 'master' of github.com:edwinb/Idris-dev into partial-evalEdwin Brady12 years ago 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 ea3956badded zipWith3 and associated functions for streamsJP Smith12 years ago c0ac681Turn pureM into a functionMelvar Chen12 years ago c0acdc5Merge branch 'master' into lambdastylejohnny-john12 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 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