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