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

Requirements

Link to graph
Log In
Improvements of the human condition