MSFP 2022 - Joris Ceulemans - Sikkel: Multimode Simple Type Theory as an Agda Library

Игра Марио

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

Скачать клип MSFP 2022 - Joris Ceulemans - Sikkel: Multimode Simple Type Theory as an Agda Library