Processing math: 0%

Idris

Notes on programming languages 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