4 lines
64 B
Text
4 lines
64 B
Text
def main : IO Unit :=
|
|
IO.println ("Hello world!")
|
|
|
|
#eval main
|
def main : IO Unit :=
|
|
IO.println ("Hello world!")
|
|
|
|
#eval main
|