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

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

2 голосов
0 ответов
Конечные мультимножества как хит в кубической Агде

В стандартной библиотеке Cubical Agda есть конечные мультимножества , элегантные определения...

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