mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-10-26 14:05:36 +03:00
7 lines
95 B
Plaintext
7 lines
95 B
Plaintext
Z = @s @z z
|
|
S = @x @s @z (s (x s z))
|
|
|
|
get = @Nat (Nat @x (+ x 1) 0)
|
|
|
|
main = (get (S (S Z)))
|