"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna

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

Скачать клип "Idris: Practical Dependent Types with Practical Examples" by Brian McKenna