Flip was in both builtins.idr and prelude.idr; it is now removed from the latter.
commit17cbae5f5b354b4e499b40976220591e43b609e1
authorIrene Knapp <ireney.knapp@gmail.com>
dateMon 23 Jan 2012, 07:13 (15 years ago)
parent2e994b8
lib/prelude.idr−3
@@ -165,9 +165,6 @@ syntax "[" [start] "," [next] ".." [end] "]"
165165
166166---- More utilities
167167
168−flip : (a -> b -> c) -> b -> a -> c
169−flip f x y = f y x
170−
171168sum : Num a => List a -> a
172169sum = foldl (+) 0
173170