http://Dmytro Starosud/ (
dmytro starosud
) wrote
in
deniok
2012-06-30 09:31 am (UTC)
Re: Наиболее общий тип
Скажите, пожалуйста, ниже решения для второго и третьего?
\f g -> g (\x -> g f)
\f g -> g (\y -> g ((\x -> f) y))
(
35 comments
)
Post a comment in response:
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
Re: Наиболее общий тип
\f g -> g (\x -> g f)
\f g -> g (\y -> g ((\x -> f) y))