Type-driven Development of Communicating Systems in Idris by Edwin Brady

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

Скачать клип Type-driven Development of Communicating Systems in Idris by Edwin Brady