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 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 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 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 a1c7a5aUpdate READMEMarkus Pfeiffer12 years ago 1a30718Update READMEMarkus Pfeiffer12 years ago d99ce6eAdapt README to reflect the current state of code generators.Markus Pfeiffer12 years ago