This is an old revision of the document!

Idris

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

Link to graph
Log In
Improvements of the human condition
limeGraphxioms