2007-06-27

deniok: (ухмыляюсь)
2007-06-27 04:14 pm

Epigram

Такую красоту (Epigram: Practical Programming with Dependent Types) нельзя не изучить!


Пойду, куплю картриджи для цветного принтера :-)


UPD: Why Dependent Types Matter - ещё ссылочка про него.

Википедия про Epigram

Сайт языка Epigram