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


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

[Мини-курс]: Программирование. Idris. Лекция ...

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

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

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

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

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

[Коллоквиум]: Синтез изображений с помощью гл...

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