все песни от: Программирование с зависимыми типами на языке Idris

• слушать Программирование с зависимыми типами на языке Idris - Лекция 1 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 1 01:07:59
  Программирование с зависимыми типами на языке Idris - Лекция 1
• слушать Программирование с зависимыми типами на языке Idris - Лекция 2 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 2 01:44:30
  Программирование с зависимыми типами на языке Idris - Лекция 2
• слушать Программирование с зависимыми типами на языке Idris - Лекция 9 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 9 01:18:50
  Программирование с зависимыми типами на языке Idris - Лекция 9
• слушать Программирование с зависимыми типами на языке Idris - Лекция 3 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 3 01:32:11
  Программирование с зависимыми типами на языке Idris - Лекция 3
• слушать Программирование с зависимыми типами на языке Idris - Лекция 4 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 4 01:20:36
  Программирование с зависимыми типами на языке Idris - Лекция 4
• слушать Программирование с зависимыми типами на языке Idris - Лекция 8 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 8 01:30:43
  Программирование с зависимыми типами на языке Idris - Лекция 8
• слушать Программирование с зависимыми типами на языке Idris - Лекция 6 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 6 01:26:35
  Программирование с зависимыми типами на языке Idris - Лекция 6
• слушать Программирование с зависимыми типами на языке Idris - Лекция 7 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 7 01:38:30
  Программирование с зависимыми типами на языке Idris - Лекция 7
• слушать Программирование с зависимыми типами на языке Idris - Лекция 10 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 10 01:32:25
  Программирование с зависимыми типами на языке Idris - Лекция 10
• слушать Программирование с зависимыми типами на языке Idris - Лекция 5 (добавить в избранное) скачать Программирование с зависимыми типами на языке Idris - Лекция 5 01:14:29
  Программирование с зависимыми типами на языке Idris - Лекция 5

• 1