Idris book

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

Book

Discussion

Reference

Manning: Type-driven development with idris

Idris syntax

Link to graph
Log In
Improvements of the human condition
limeGraphxioms