ibash.org.ru — Новый цитатник Рунета

<xxx> Coq - следующая ступень после ocaml.
<xxx> Так же, как agda - после хаскеля.
­<yyy> после хаскеля есть что-то еще? :)
­<xxx> Да, бонусный уровень и титры.