3622
правки
Изменения
→Кодирование по Чёрчу
data Tree a b c = Frog c | Pip (Tree a b c)
Этого задания не было в первой кр, поэтому оно будет расписано во второй. Вместо него была система уравнений типов чуть более адовая, чем в прошлом примере.
=Кр2=
