git.iko.soy/Idris-dev
on master help sign in
Flip was in both builtins.idr and prelude.idr; it is now removed from the latter.
17cbae5Irene Knapp
lib/prelude.idr−3
compare with master
unifiedsplit
@@ -165,9 +165,6 @@ syntax "[" [start] "," [next] ".." [end] "]"
165
165
166---- More utilities
166---- More utilities
167
167
168−flip : (a -> b -> c) -> b -> a -> c
169−flip f x y = f y x
170−
171sum : Num a => List a -> a
168sum : Num a => List a -> a
172sum = foldl (+) 0
169sum = foldl (+) 0
173
170