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


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

David Sankel: The Intellectual Ascent to Agda

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

Функциональное программирование на языке Haskell (часть...

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

Naïve Type Theory by Thorsten Altenkirch (University of...

UrWeb - Sean Chalmers - BFPG 2015-05

Homotopy type theory

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