Башорг цитата #16250 - смешные диалоги
Цитата #16250
102
<xxx> Coq - следующая ступень после ocaml.
<xxx> Так же, как agda - после хаскеля.
<yyy> после хаскеля есть что-то еще? :)
<xxx> Да, бонусный уровень и титры.
19.09.2013 17:44
