Clipson
Топ 50 исполнителей
Популярные клипы
Случайный клип
Минусовки онлайн
Найти →
Главная
Philip Wadler
“ in Agda = Programming ” @ ZuriHac 2020
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
Просмотров:
3,107
| Время:
01:14:15
| Голосов:
+
1
+1
|
Скачать
Скачать клип Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020