raichoo: Programming with dependent types in Idris

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

Скачать клип raichoo: Programming with dependent types in Idris