Исправление qnikst, 18.06.13 10:35 (текущая версия) :
Agda предлагали? вопрос не читал.
Исходная версия qnikst, 18.06.13 10:35:
Agda предлагали?