Сайт в процессе наполнения. Архив всех прошедших курсов доступен на старой версии сайта по адресу old.compsciclub.ru
Город: Санкт-Петербург Казань Язык: Русский English

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


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

Видео