Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022

Просмотров: 1 | Время: 01:31:42 | Голосов: +1 +1 | Скачать

Скачать клип Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022