Босс: опись вложенных улик

Судья Гранович

Второе заседание. Отдел обещал опись дела о складе. Ленту, которую подали в Арбитр, суд держит в машинном зале под замком, поэтому описываете вы свою копию, собранную по бумагам отдела. Я хочу знать, сколько в нём простейших листов и насколько глубоко они спрятаны. И я хочу знать, почему вашей описи можно верить на любом деле, а не только на этом. Программа считает, доказательство ручается. Мне нужно и то и другое.

Это последнее испытание блока «Цепочка улик». Здесь сходится всё, что ты собрал за пять уроков: индуктивное определение термов из урока 28, функции по их устройству и первый Haskell из урока 29, доказательство по случаям с гипотезой для частей из уроков 29 и 30.