gds 05.03.2012 13:20 umodni729F798C

вопрос про пользу зависимых типов: http://gds.livejournal.com/63409.html — покаментите, если есть мнение. (тут или там — пофиг.)

Do you really want to delete ?