Вопросы с тегом зависят-от-типа - PullRequest
Новая

Вопросы с тегом зависят-от-типа

1 голос
1 ответ
«Недоступная переменная шаблона» в Идрисе

У меня возникла проблема, когда сопоставление с образцом в Idris приводит к ошибкам «недоступная...

jmite / 21 октября 2019
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...