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


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

David Sankel: The Intellectual Ascent to Agda

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

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

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

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

Hacivat Karagöz Neden Öldürüldü? (2006 - HD) | Türk Fil...

C++Now 2017: David Sankel "The Mathematical Underp...

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