( ! ( ! ( n : Nat ! data !---------! where !----------! ; !-----------! ! Nat : * ) !zero : Nat) !suc n : Nat)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
carisma_sensei
no subject
Date: 2007-11-11 11:10 pm (UTC)А Вы? :о)))
no subject
Date: 2007-11-11 11:17 pm (UTC)Мы эпиграм даже поставить не смогли :)
Мы потом, когда времени побольше будет...
no subject
Date: 2007-11-12 06:18 am (UTC)no subject
Date: 2007-11-12 07:32 am (UTC)no subject
Date: 2007-11-12 06:32 am (UTC)Вроде какой-то мод для емакса надо ставить, а я емакс понять не в силах...
no subject
Date: 2007-11-12 06:35 am (UTC)no subject
Date: 2007-11-12 07:31 am (UTC)no subject
Date: 2007-11-12 07:33 am (UTC)Хотя там в картинках наверное этож всё рисуется, да?
А под винду-то хоть оно вообще ставится?
no subject
Date: 2007-11-12 07:38 am (UTC)( ! ( ! ( n : Nat ! data !---------! where !----------! ; !-----------! ! Nat : * ) !zero : Nat) !suc n : Nat)no subject
Date: 2007-11-12 07:21 pm (UTC)no subject
Date: 2007-11-12 08:04 pm (UTC)Такой
( ! ( ! ( n : Nat ! data !---------! where !----------! ; !-----------! ! Nat : * ) !zero : Nat) !suc n : Nat)или такой
?
no subject
Date: 2007-11-12 09:11 pm (UTC)no subject
Date: 2007-11-13 01:58 am (UTC)