Я ассаймент решаю и там есть три пункта: normal-order reduction, data abstraction и beta reduction в Scheme
Вот хочу понять правильно ли я решаю, у меня домашка
Почитал немного, этот lambda calculus чертовски интересная штука. Хотя теперь понимаю, почему автор питона не был фанатом 😂