on master help sign in
Remove nongeneric sum and product functions
67c5fc9Melvar Chen
lib/Prelude.idr−6
@@ -348,12 +348,6 @@ syntax "[" [start] "," [next] "..]"
348
348
349---- More utilities
349---- More utilities
350
350
351−sum : Num a => List a -> a
352−sum = foldl (+) 0
353−
354−prod : Num a => List a -> a
355−prod = foldl (*) 1
356−
357curry : ((a, b) -> c) -> a -> b -> c
351curry : ((a, b) -> c) -> a -> b -> c
358curry f a b = f (a, b)
352curry f a b = f (a, b)
359
353