Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda-snippets-2.5.2
library
Agda
(==2.5.2)
base
(>=4.8 && <4.10)
containers
(>=0.5 && <0.6)
mtl
(>=2.1 && <2.3)
network-uri
(>=2.6 && <2.7)
xhtml
(>=3000.2.1 && <3000.3)
agda-snippets
Agda
agda-snippets
base
(>=4.7 && <4.10)
network-uri
transformers
(>=0.4 && <0.6)