mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-07 21:25:31 +00:00
10 lines
144 B
Python
10 lines
144 B
Python
unsound = import "unsound"
|
|
|
|
i = unsound.pyeval "1 + 1"
|
|
assert i in Nat
|
|
assert i == 2
|
|
|
|
print x =
|
|
unsound.perform do! print! x
|
|
|
|
print "hello"
|