2зной
1ответ
Вычислить бесконечное дерево из корневых путей с использованием метода задержки
2зной
2ответ
Доказательство равенства на коиндуктивных ленивых списках в Coq
5зной
1ответ
Равенство разрешимо на любой коиндуктивный тип?
15зной
1ответ
Как эффективно преобразовать индуктивный тип в коиндуктивный тип (без рекурсии)?
2зной
1ответ
Пусть связывание промежуточных результатов в IO монады