albina_nurtdinova 8 окт 2019 в 20:36 Arend – язык с зависимыми типами, основанный на HoTT (часть 2) Время на прочтение 13 мин Количество просмотров 3K Блог компании Образовательные проекты JetBrains Программирование * Всего голосов 19: ↑19 и ↓0 +19 Добавить в закладки 18 Комментарии 0
Arend – язык с зависимыми типами, основанный на HoTT (часть 2)