Исправление CryNet, 30.04.20 15:04 (текущая версия) :
Idris, Agda, Coq, Epigram
Но нет PHP, JS…
Исходная версия CryNet, 30.04.20 15:04:
Idris, Agda, Coq, Epigram Но нет PHP, JS…