Monadoc
Search
Home
idris
1.3.4-0
exe:idris
exe:idris
Dependencies
base
lib:base >=0
directory
lib:directory >=0
filepath
lib:filepath >=0
haskeline
lib:haskeline >=0.7
idris
lib:idris >=0
transformers
lib:transformers >=0
Reverse dependencies
None.