5зной
1ответ
Конгруэнтности для гетерогенного равенства
0зной
1ответ
Проверьте формула верна в Haskell
14зной
4ответ
9зной
1ответ
Последствия для использования GADT
5зной
1ответ
5зной
1ответ
Преобразования нетипизированного представления DSL в типизированное представление
3зной
1ответ
Определение собственных экземпляров Typeable для GADT
4зной
1ответ
Исключая SUBST доказательства равенства