Idris: General Purpose Programming with Dependent Types

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

Скачать клип Idris: General Purpose Programming with Dependent Types