Agda
Всего сообщений: 10
См. также:Форум
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 комментария)