Hello world/Newbie: Difference between revisions
→{{header|Agda}}
(→{{header|Agda}}: Update Agda example) |
|||
Line 245:
main = putStrLn "Hello world!"
</syntaxhighlight> (Note that "⊤" is not a capital T, but the [https://en.wikipedia.org/wiki/Tee_(symbol) top symbol]).
# Run <syntaxhighlight lang="bash">agda --compile helloworld.agda</syntaxhighlight> This creates the binary ''
# Execute the binary. For example, on Linux run <syntaxhighlight lang="bash">./
=={{header|Applesoft BASIC}}==
| |||