Idris

Notes on programming languages $\blacktriangleright$ Idris $\blacktriangleright$ Idris syntax

Note

Language

See also Idris syntax

Discussion

Reference

Basics including prelude:

http://www.idris-lang.org/docs/current/

Code exmaples
Q & A

Idris syntax, Haskell, Haskell type system

Requirements

Notes on programming languages