термологический вопрос
Dec. 8th, 2012 09:36 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniokКоллеги! Не будет ли слишком изощренным издевательством во вводной части обзора Агды, при самом начале обсуждения типа Vec привести такие примеры
[true,false,true] : Vec Bool 3 [2,12,85,0,6] : Vec ℕ 5Поясню - я не хочу в этом месте вдаваться в детали описания конструкторов, а скрытый здесь грандиозный обман я честным образом раскрою позже.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2012-12-09 08:51 am (UTC)no subject
Date: 2012-12-09 09:04 am (UTC)no subject
Date: 2012-12-09 09:06 am (UTC)no subject
Date: 2012-12-09 09:19 am (UTC)no subject
Date: 2012-12-09 09:31 am (UTC)no subject
Date: 2012-12-09 09:32 am (UTC)