deniok: (Default)
deniok ([personal profile] deniok) wrote2013-01-07 12:27 am
  • Add Memory
  • Share This Entry
Entry tags:

Просто типизированное лямбда-исчисление

Сделал в ру-Википедии статью про сабж. Еле поспел к Рождеству.  Держите.
Flat | Top-Level Comments Only

[identity profile] juan-gandhi.livejournal.com 2013-01-07 05:15 am (UTC)(link)
Бета-редуцируй.

Спасибо за статью.
Flat | Top-Level Comments Only