Agda

2018

• Talks Накидайте книжек по теории типов (33 комментария)

2016

• Development Пруф чекеры (13 комментариев)

2015

• Development На чем основан алгоритм обнаружения бесконечных вычислений? (27 комментариев)

2013

• General Автоматическая проверка выводимости высказывания в заданной формальной теории (3 комментария)

2013

• Development Dependently-Typed Metaprogramming (6 комментариев)

2012

• Development где можно применить на практике всю мощь dependent types? (43 комментария)
• Development Встреча FProg 2012-07 в Петербурге (14 комментариев)

2011

• Development agda или coq? (23 комментария)

2016

• Вышла Agda 2.5.1 (21 комментарий)

2014

• Вышла Agda 2.4.0 (84 комментария)