Основы языка Agda


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

Ян Малаховски. Введение в Agda

David Sankel: The Intellectual Ascent to Agda

Функциональное программирование на языке Hask...

Видеоурок # 1. Основы программирования.

UrWeb - Sean Chalmers - BFPG 2015-05

Naïve Type Theory by Thorsten Altenkirch (Uni...

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

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