lib:agda-snippets
Modules
Dependencies
- Agda lib:Agda ==2.5.2
- base lib:base >=4.8 && <4.10
- containers lib:containers >=0.5 && <0.6
- mtl lib:mtl >=2.1 && <2.3
- network-uri lib:network-uri >=2.6 && <2.7
- xhtml lib:xhtml >=3000.2.1 && <3000.3
Reverse dependencies
Direct only. Not exhaustive.
- agda-snippets exe:agda-snippets
- agda-snippets-hakyll lib:agda-snippets-hakyll