Исправление KblCb, 06.06.14 01:53 (текущая версия) :
А что обычный человек делает в топике про Agda? Алсо ни одного коммента про зависимые типы. Сплошной хаскель.
Исходная версия KblCb, 06.06.14 01:52:
А что обычный человек делает в топике про Agda?