Партнёр:
- Computer Science клуб при ПОМИ РАН
Предмет:
- Computer Science
Лектор:Виталий Брагилевский
Курс лекций: Программирование с зависимыми типами на языке Idris
Партнёр:
Предмет:
Лектор:Виталий Брагилевский
Курс лекций: Программирование с зависимыми типами на языке Idris