This is an old revision of the document!

Idris book

Idris syntax $\blacktriangleright$ Idris book $\blacktriangleright$ ...

Note

Discussion

Reference

Manning: Type-driven development with idris

Idris syntax

Link to graph
Log In
Improvements of the human condition
limeGraphxioms