Monadoc
Search
Home
idris
0.9.14.3-2
lib:idris
Idris.IBC
The latest version of idris is
1.3.4-0
.
Idris.IBC
Monadoc does not yet provide module details. Would you like to view this module
on Hackage
instead?