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

Вопросы с тегом Идрис зависимую типа

0 голосов
1 ответ
Как создать пустой список в Idris REPL?

Я хочу создать myEmptyList и myNonemptyList в REPL.Однако Idris сообщил об ошибке несоответствия...

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