из Митчелла, про Y-комбинатор
Feb. 9th, 2012 12:26 amОтличное упражнение на свойства комбинатора неподвижной точки fix.
Докажите равенство
Докажите равенство
fix (f . g) = f (fix (g . f))
Profile
deniok
Page Summary
Style Credit
- Style: Cloudy Days for Ciel by
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
carisma_sensei
Expand Cut Tags
No cut tags