Dependencies for agda-snippets-2.5.2
Libraries
agda-snippets
- 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)
Executables
agda-snippets
- Agda
- agda-snippets
- base (>=4.7 && <4.10)
- network-uri
- transformers (>=0.4 && <0.6)