Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types

Игра Марио

Просмотров: 1,376 | Время: 23:58 | Голосов: +1 +1 | Скачать

Скачать клип Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types