http://migmit.livejournal.com/ ([identity profile] migmit.livejournal.com) wrote in [personal profile] deniok 2012-06-28 11:02 pm (UTC)

Эм...
Prelude> :t \f g -> g (\a -> g f)
\f g -> g (\a -> g f) :: (t -> t1) -> ((t -> t1) -> t1) -> t1

Первая попытка решить вторую задачу.
(35 comments)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.