Исправление Zubok, 05.05.15 19:58 (текущая версия) :
Всем, очевидно
Ну, не знаю. Какая-то помесь Eiffel и Coq. Может, что-то еще. Может, на Haskell замахнулись? :)
Исходная версия Zubok, 05.05.15 19:57:
Ну, не знаю. Какая-то помесь Eiffel и Coq. Может, что-то еще.