Idris 2: Quantitative Type Theory in Practice (ECOOP 2021)

Игра Марио

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

Скачать клип Idris 2: Quantitative Type Theory in Practice (ECOOP 2021)