Hello world/Newbie: Difference between revisions
→{{header|Agda}}: Update Agda example
(Jakt) |
(→{{header|Agda}}: Update Agda example) |
||
Line 232:
# Install Agda with: <syntaxhighlight lang="bash">cabal install Agda</syntaxhighlight> This downloads the packages and then outputs ''Building Agda-2.6.2''. The building process can take several minutes.
# After that, Cabal creates two binaries. On Linux these are <pre>~/.cabal/bin/agda</pre> and <pre>~/.cabal/bin/agda-mode</pre> Make those binaries reachable by the ''PATH'' variable.
# Create the file ''
open import Agda.Builtin.IO using (IO)
Line 247:
# Run <syntaxhighlight lang="bash">agda --compile helloworld.agda</syntaxhighlight> This creates the binary ''helloworld''
# Execute the binary. For example, on Linux run <syntaxhighlight lang="bash">./helloworld</syntaxhighlight> The execution outputs ''Hello world!''
=={{header|Applesoft BASIC}}==
Installation and text editors are not needed. https://rosettacode.org/wiki/Interactive_programming_(repl)#Applesoft_BASIC
| |||