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

Вопросы с тегом рекурсивная-типа

0 голосов
0 ответов
проверка целостности с косвенными взаимно рекурсивными типами данных в Idris

Я работаю с абстрактным синтаксическим деревом, где я хотел бы дать связующим их собственный тип

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