Dependent Type Driven Program Synthesis in Idris | Edwin Brady | Code Mesh V 2020

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

Скачать клип Dependent Type Driven Program Synthesis in Idris | Edwin Brady | Code Mesh V 2020