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


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

Дата добавления: 19.09.2013 17:44 Дата одобрения: 07.01.2014 01:29 Аппрувер: mva

«ibash.org.ru — Новый цитатник Рунета»
Почта вебмастера: imail@ibash.org.ru