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