Hello world/Standard error: Difference between revisions
Content added Content deleted
(→J: correct) |
No edit summary |
||
Line 574: | Line 574: | ||
sx.shell_cmd("logger Goodbye, World!")</syntaxhighlight> |
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}}== |
=={{header|LLVM}}== |
||
<syntaxhighlight lang="llvm">; This is not strictly LLVM, as it uses the C library function "printf". |
<syntaxhighlight lang="llvm">; This is not strictly LLVM, as it uses the C library function "printf". |