Update example.bend

minor fix
This commit is contained in:
Ikko Eltociear Ashimine 2024-05-18 02:39:50 +09:00 committed by GitHub
parent 7f596ebe5b
commit 730de25f9e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -18,7 +18,7 @@
(nums) = λx1 λx2 (* (+ x1 1) (/ (- x2 2) 1))
# You can use numbers on the native match expression
# The `+` arm binds the `scrutinee`-1 variable to the the value of the number -1
# The `+` arm binds the `scrutinee`-1 variable to the value of the number -1
(Num.pred) = λn
switch n {
0: 0