Monadoc
Search
Home
idris
1.3.4-0
lib:idris
Idris.Docstrings
Idris.Docstrings
Monadoc does not yet provide module details. Would you like to view this module
on Hackage
instead?