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 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 37d7ef4Remove dead code in supportEdwin 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 2ec6be9Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady12 years ago d25bf25Merge branch 'master' of git://github.com/idris-lang/Idris-devEdwin Brady12 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