Idris — Cheat Sheet

Quick info

• Slug: idris
• Extensions: -

Hello World

// Hello World in Idris
Hello, World!

Notes

• This is a starter reference to avoid empty pages.
• You can expand it with real syntax, examples, and trusted links.