Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом синтаксис-c--сахар
2
голосов
1
ответ
Как Prelude позволяет использовать литералы numeri c для Nat?
Joel Berkeley
/
05 мая 2020
идрис
синтаксис-c--сахар
Для получения более полной информации посмотрите в
списке вопросов
или в
популярных тегах
.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...