Hello world/Newbie: Difference between revisions
Content added Content deleted
(Jakt) |
(→{{header|Agda}}: Update Agda example) |
||
Line 232: | 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. |
# 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. |
# 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 '' |
# Create the file ''HelloWorld.agda'' with any editor and paste this snippet: <syntaxhighlight lang="agda">module HelloWorld where |
||
open import Agda.Builtin.IO using (IO) |
open import Agda.Builtin.IO using (IO) |
||
Line 247: | Line 247: | ||
# Run <syntaxhighlight lang="bash">agda --compile helloworld.agda</syntaxhighlight> This creates the binary ''helloworld'' |
# 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!'' |
# Execute the binary. For example, on Linux run <syntaxhighlight lang="bash">./helloworld</syntaxhighlight> The execution outputs ''Hello world!'' |
||
=={{header|Applesoft BASIC}}== |
=={{header|Applesoft BASIC}}== |
||
Installation and text editors are not needed. https://rosettacode.org/wiki/Interactive_programming_(repl)#Applesoft_BASIC |
Installation and text editors are not needed. https://rosettacode.org/wiki/Interactive_programming_(repl)#Applesoft_BASIC |