Я читаю Рассматриваемый Schemer.
У меня есть интуиция о том, как работает conde
.
Однако я не могу найти формального определения того, что делать conde
/conda
/condu
/condi
.
Я знаю https://www.cs.indiana.edu/~webyrd/, но, похоже, есть примеры, а не определения.
Существует ли формальное определение conde
, conda
, condi
, condu
где-нибудь?