Кадр 2:26 - Почему у консо странный куб?

В кадре 26 мы получаем определение для минусов 0:

      (degree (conso a d p)
  (== `(,a ■ ,d) p))

В книге еще не упоминается, что должны делать эти черные кубики. Что это значит?

Одна подсказка находится в кадре 3-4, где упоминается, что'(d a t e ■ s)не правильный список.

0 ответов

Другие вопросы по тегам