Hello world/Text: Difference between revisions
→{{header|Agda}}: Updated Agda example
(Added Jai language, and also fixed so that jacquard loom stands in alphabetical order. I intended to just add jai to hello word, but apprantelly jacquard wasnt right...) |
(→{{header|Agda}}: Updated Agda example) |
||
Line 205:
=={{header|Agda}}==
For Agda 2.6.3, based on its [https://agda.readthedocs.io/en/v2.6.3/getting-started/hello-world.html documentation].
<syntaxhighlight lang="agda">module
open import Agda.Builtin.IO using (IO)
| |||