mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 11:56:54 +03:00
11 lines
116 B
Plaintext
11 lines
116 B
Plaintext
lambda_out = @x @$y switch x {
|
|
0: $y
|
|
_: x-1
|
|
}
|
|
|
|
lambda_in = @x (switch x {
|
|
0: @x x
|
|
_: @$y x-1
|
|
} $y)
|
|
|
|
main = * |