albina_nurtdinova Oct 8 2019 at 20:36Arend – язык с зависимыми типами, основанный на HoTT (часть 2)Reading time13 minViews3.1KОбразовательные проекты JetBrains corporate blogProgramming*Total votes 19: ↑19 and ↓0+19Add to bookmarks19Comments0
Arend – язык с зависимыми типами, основанный на HoTT (часть 2)