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


Также посмотрите следующие материалы:

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

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

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

Урок Алгоритмы и язык программирования Паскал...

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

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

Бакалавриат. Меганаправление «Интернет-технол...

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