@@ -1,11 +1,5 @@
1module Prelude where
1module Prelude where
3− foreign import data String :: *
4− foreign import data Number :: *
5− foreign import data Boolean :: *
6− foreign import data Array :: * -> *
7− foreign import data Function :: * -> * -> *
9 flip :: forall a b c. (a -> b -> c) -> b -> a -> c
3 flip :: forall a b c. (a -> b -> c) -> b -> a -> c
10 flip f b a = f a b
4 flip f b a = f a b