Introductory Talk About Dependent Types and Idris

Просмотров: 1 | Время: 02:26:53 | Голосов: +1 +1 | Скачать

Скачать клип Introductory Talk About Dependent Types and Idris