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



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

David Sankel: The Intellectual Ascent to Agda

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

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

UrWeb - Sean Chalmers - BFPG 2015-05

Joseph Abrahamson on "On the Meanings of the Logic...

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

Why I stopped watching porn | Ran Gavrieli | TEDxJaffa

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