Edwin Brady - Idris: Programming with Dependent Types

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

Скачать клип Edwin Brady - Idris: Programming with Dependent Types