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


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

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

David Sankel: The Intellectual Ascent to Agda

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

UrWeb - Sean Chalmers - BFPG 2015-05

Thiago Macieira: C++11 use in Qt5: Challanges and Solut...

Boris Kolpackov: Practical C++11: What I Learned Adding...

AMA Health Literacy Video - Short Version

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