Name: Anonymous 2012-08-02 1:23
help me out /prog/, give me some programs to write in scheme, practice
flip :: (a -> b -> c) -> b -> a -> c
id :: a -> a
id@a->b :: (a -> b) -> a -> b
flip id@a->b :: a -> (a -> b) -> b
(\f a b -> f b a) id
(\a b -> id b a)
(\a b -> b a) :: a -> (a -> b) -> b