Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
uAgda-1.2.0.4
uAgda
array
(==0.3.*)
base
(==4.*)
BNFC-meta
(==0.2.*)
cmdargs
(==0.6.*)
containers
(==0.4.*)
mtl
(==2.0.*)
parsec
(==2.1.*)
pretty
(==1.1.*)
split
(==0.1.*)
transformers
(==0.2.*)