This is an old revision of the document!

Idris

Note

Language

See Idris syntax

Basics including prelude

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

Discussion

Reference

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