Программирование с зависимыми типами на языке Idris. Лекция 5 Лекция Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:Виталий Брагилевский Курс лекций: Программирование с зависимыми типами на языке Idris Дата записи:12.02.17 Дата публикации:03.03.17 <a href="https://www.youtube.com/embed/kYplqU1YqoE?wmode=opaque">Embedded video for Программирование с зависимыми типами на языке Idris. Лекция 5</a> Код для блога: 4674 Интерфейсы, модули и пространства имен Страница лекции на Computer Science Club Другие лекции курса9 Программирование с зависимыми типами на языке Idris. Лекция 1 Computer Science клуб при ПОМИ РАН Виталий Брагилевский 2907 Программирование с зависимыми типами на языке Idris. Лекция 2 Computer Science клуб при ПОМИ РАН Виталий Брагилевский 1125 1 Программирование с зависимыми типами на языке Idris. Лекция 3 Computer Science клуб при ПОМИ РАН Виталий Брагилевский 458 1 Программирование с зависимыми типами на языке Idris. Лекция 4 Computer Science клуб при ПОМИ РАН Виталий Брагилевский 2656 Программирование с зависимыми типами на языке Idris. Лекция 6 Computer Science клуб при ПОМИ РАН Виталий Брагилевский 362 Программирование с зависимыми типами на языке Idris. Лекция 7 Computer Science клуб при ПОМИ РАН Виталий Брагилевский 329 Программирование с зависимыми типами на языке Idris. Лекция 8 Computer Science клуб при ПОМИ РАН Виталий Брагилевский 297 Программирование с зависимыми типами на языке Idris. Лекция 9 Computer Science клуб при ПОМИ РАН Виталий Брагилевский 327 Программирование с зависимыми типами на языке Idris. Лекция 10 Computer Science клуб при ПОМИ РАН Виталий Брагилевский 379