Исправление DELIRIUM, 23.06.13 17:32 (текущая версия) :
языков: Coq, Agda, Epigram, Omega
Не слышал даже названий таких, до сих пор на плюсах пишу, как лох =)
Исходная версия DELIRIUM, 23.06.13 17:32:
Не слышал даже названий таких, до сих на плюсах пишу, как лох =)