Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
nanoAgda-1.0.0
nanoAgda
base
(>=4 && <5)
BNFC-meta
(>=0.3 && <0.4)
cmdargs
(>=0.8 && <0.9)
containers
(>=0.4 && <0.5)
mtl
(>=2.0 && <2.1)
parsec
(>=2.1 && <2.2)
pretty
(>=1.1 && <1.2)
transformers
(>=0.2 && <0.3)