Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом типа-теории
1
голос
2
ответов
Интуиция для различия между eta для функции сверху и пустыми функциями в Agda
AgLa
/
26 марта 2020
agda
типа-теории
2
голосов
1
ответ
Как заставить типы из разных уровней типов в Haskell?
Lana
/
05 марта 2020
haskell
монады
лямбда-исчисление
gadt
типа-теории
Для получения более полной информации посмотрите в
списке вопросов
или в
популярных тегах
.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...