Sep 30, 2008 15:10
...и даже, я бы сказал, kicking.
Правда, очень слабо. ;)
Выписали меня, язвы нет. Теперь надо форму восстанавливать. ;)
И всякое разное доделывать. ;)
PS
n-ary-bool : Nat -> * ;
n-ary-bool (S n) = Bool -> n-ary-bool n ; -- function
n-ary-bool O = Bool ; -- fact.
;)
дневник,
жизнь,
болезнь