Натуральные числа и Нео

[lomeo]

Тут подумал, что thesz в рамках

data Nat = Z | S Nat

читается как The (S Z), т.е. The One.

Comments

[deni-ok.livejournal.com]

Вот какая у вас в Москве бурная культурная жизнь!

:-)