Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом набрав-*-1000-список-параметров-*--polymorphism
2
голосов
1
ответ
Coq: я могу использовать аргумент типа в качестве типа последовательного аргумента?
Isaac van Bakel
/
29 марта 2020
кок
набрав-*-1000-список-параметров-*--polymorphism
адхо-c--polymorphism
Для получения более полной информации посмотрите в
списке вопросов
или в
популярных тегах
.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...