Idris: Introduction
Start learning Idris with a quick overview and Hello World.
Idris — Introduction
Overview
This is a starter page for Idris.
Hello World
// Hello World in Idris
Hello, World!
What you'll learn
- How to run Idris
- Basic syntax style
- Next steps (lessons & references)
Next
Open the Syntax & Cheat Sheet page for this language.