on master help sign in
Merge pull request #202 from DanielWaterworth/master
34909f5Edwin Brady
lib/Prelude.idr+6
@@ -216,6 +216,12 @@ sum = foldl (+) 0
216prod : Num a => List a -> a
216prod : Num a => List a -> a
217prod = foldl (*) 1
217prod = foldl (*) 1
218
218
219+curry : ((a, b) -> c) -> a -> b -> c
220+curry f a b = f (a, b)
221+
222+uncurry : (a -> b -> c) -> (a, b) -> c
223+uncurry f (a, b) = f a b
224+
219---- some basic io
225---- some basic io
220
226
221partial
227partial