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



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

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

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

C (Си): язык программирования Си, Директивы часть 3, ...

Краткий экскурс в системы типов или как избежать дезинт...

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

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

elixir-lang-moscow #1

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