Hello World in Agda

Published on 28 April 2022 (Updated: 18 September 2022)

Hello World in Agda

Welcome to the Hello World in Agda page! Here, you'll find the source code for this program as well as a description of how the program works.

Current Solution

>module helloworld where
  open import IO
  main = run (putStrLn "Hello, World!")

Hello World in Agda was written by:

If you see anything you'd like to change or update, please consider contributing.

Note: The solution shown above is the current solution in the Sample Programs repository as of May 03 2018 14:11:56. The solution was first committed on May 03 2018 14:10:41. As a result, documentation below may be outdated.

How to Implement the Solution

No 'How to Implement the Solution' section available. Please consider contributing.

How to Run the Solution

No 'How to Run the Solution' section available. Please consider contributing.