1зной
2ответ
Proving/Disproving BigO и BigTheta
3зной
1ответ
Использование эквивалентности в контексте для принудительного уменьшения
0зной
1ответ
Пролог-программа из глобальной ошибки стека
1зной
2ответ
Как доказать, что тип действителен в Agda?
2зной
1ответ
1зной
1ответ
Жестокое набранный/перезапись desugaring