Oℕ
а лазер что ето
Size: a a a
2020 June 03
ᛒ
помню анриал торнамент
ᛒ
с ботами катао
ᛒ
карты крутын были
ᛒ
был еще мод с лазер штуки на ваншот
λ
да я не помню как он правильно называется, мы его лазером называли
λ
который пучком чего-то там выстреливает и дольше заряжается
AG
> stepIter (App (App add (App succ (App succ zero))) (App succ (App succ zero)))
In (Inr (In (Inr (In (Inr (In (Inr (In (Inl TT)))))))))
AG
индуктивные типы всё индуктивнее
V
do succ slyoz
AS
Если три, то александрКот высылает селфи в понв прямо сейчас.
λ
2+2=амххмзмзахмзсхамхвмхмхахс
λ
ну ладно..
Oℕ
так, я прочитал этот код, и там написано
(2 +2) (hujevo)
4(super hujevo)
(2 +2) (hujevo)
4(super hujevo)
Oℕ
а если три конструктора у типа?
Oℕ
это будет тоже типа разбито на элементарные дизъюнкции?