Город: Санкт-Петербург Казань Язык: Русский English

Лекция 3. Типы данных и ввод-вывод
Программирование с зависимыми типами на языке Idris


Что: Лекция
Когда: Воскресенье, 12 февраля 2017, 11:15–12:45
Где: ПОМИ РАН
Слайды: 2017_02_12_idrisprogramming_2017_spring_SHcYXQw.pdf

Видео