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

Вопросы с тегом морт

0 голосов
1 ответ
Путаница в наборе морте (исчисление конструкций)

В Morte (реализация исчисления конструкций) это выражение хорошо напечатано: $ morte ( λ(Nat : *)...

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