Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом теория-кубических-типов
1
голос
1
ответ
Импорт Cubical.Data.Nat прерывает isOfHLevel → isOfHLevelDep
Cactus
/
05 августа 2020
класс-типов
agda
конфликт-имен
теория-кубических-типов
Для получения более полной информации посмотрите в
списке вопросов
или в
популярных тегах
.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...