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

Лекция 2. Интерактивная разработка через типы
Программирование с зависимыми типами на языке Idris


Что: Лекция
Когда: Суббота, 11 февраля 2017, 19:10–20:50
Где: ПОМИ РАН
Слайды: idrisprogramming_lecture_110217.pdf

Видео