Уроки языка программирования Idris


Лекция 5 | Программирование с зависимыми типами на язык...

Лекция 7 | Программирование с зависимыми типами на язык...

Language Heroes Talks: лекция по языкам программировани...

3. Программирование на Go. Асинхронная модель | Техност...

Лекция 19 | Английский язык для математиков | Николай В...

Программирование терморегулятора OCC4

Tеория категорий. Лекция 1 (Виталий Брагилевский)

Лекция 19 Модульное программирование

Здесь мы сделали для вас подборку полезных материалов по теме "Уроки языка программирования Idris". Не забудьте посмотреть другие странички в разделе "Программирование". Если вы нашли здесь что-то полезное для себя, ставьте лайки!