A Collection of Code Snippets in as Many Programming Languages as Possible
This project is maintained by TheRenegadeCoder
Welcome to the Hello World in Idris page! Here, you'll find the source code for this program as well as a description of how the program works.
module Main main : IO () main = putStrLn "Hello, World!"
Hello World in Idris was written by:
If you see anything you'd like to change or update, please consider contributing.
No 'How to Implement the Solution' section available. Please consider contributing.
No 'How to Run the Solution' section available. Please consider contributing.