4 lines
93 B
Text
4 lines
93 B
Text
|
def main : IO Unit := do
|
||
|
|
let stderr ← IO.getStderr
|
||
|
|
stderr.putStrLn s!"Goodbye, World!"
|