mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 11:56:54 +03:00
15 lines
210 B
Plaintext
15 lines
210 B
Plaintext
id cool-var-name = cool-var-name
|
|
|
|
type Done_ = (Done done-var)
|
|
|
|
toZero n =
|
|
switch n {
|
|
0: (Done_/Done 1)
|
|
_: (toZero n-1)
|
|
}
|
|
|
|
main =
|
|
match is-done = (toZero 4) {
|
|
Done_/Done: is-done.done-var
|
|
}
|