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




Андрей Бреслав. Функции и данные в Kotlin

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

Функциональные языки в Echo - Лев Валкин @ kyivfprog

Илья Сергей. Статический анализ и оптимизация кода в GH...

Programming Languages: Semantics

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