Name: Лекция 1 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
Uploaded: 2017-03-03T18:28:08+03:00
Duration: T1H7M58S

Найти в Дзене

Главная

Всё о Дзене ВакансииДзен на iOS и Android

1,0×

3 просмотра · 9 лет назад

00:00/01:07:58

Лекториум

1273 подписчиков

2872113522.925.1776896886659.22220