mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 18:58:30 +00:00
13 lines
141 B
Python
13 lines
141 B
Python
sum2 [x, y]: [Nat; 2] =
|
|
x + y
|
|
|
|
print! sum2 [1, 2]
|
|
|
|
s = "a" + ""
|
|
|
|
n = match s:
|
|
"a" -> 1
|
|
"b" -> 2
|
|
_ -> unreachable()
|
|
|
|
print! n
|