Merge pull request #445 from Melvar/master
Remove nongeneric sum and product functions
commit50e0bd1a3ff42e49b9279158f16177b2478d249b
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 7 Aug 2013, 04:02 (13 years ago)
parent974954467c5fc9
lib/Prelude.idr−6
@@ -348,12 +348,6 @@ syntax "[" [start] "," [next] "..]"
348348
349349---- More utilities
350350
351−sum : Num a => List a -> a
352−sum = foldl (+) 0
353−
354−prod : Num a => List a -> a
355−prod = foldl (*) 1
356−
357351curry : ((a, b) -> c) -> a -> b -> c
358352curry f a b = f (a, b)
359353