Hello world/Standard error: Difference between revisions
no edit summary
(→J: correct) |
No edit summary |
||
Line 574:
sx.shell_cmd("logger Goodbye, World!")</syntaxhighlight>
=={{header|Lean}}==
In lean4
<syntaxhighlight lang="lean4">
def main : IO Unit := do
let stderr ← IO.getStderr
stderr.putStrLn s!"Goodbye, World!"
</syntaxhighlight>
=={{header|LLVM}}==
<syntaxhighlight lang="llvm">; This is not strictly LLVM, as it uses the C library function "printf".
| |||