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