1зной
1ответ
Agda: доказать, что, когда значения равны, то их аргументы конструктора равны
5зной
1ответ
5зной
2ответ
Как я могу выразить тип «takeWhile for vectors»?
3зной
1ответ
11зной
3ответ
Как следует понимать общий тип функции «леммы»?