lib:hakyll-agda
Modules
Dependencies
- Agda lib:Agda >=2.6.1
- base lib:base >=3 && <5
- containers lib:containers >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- hakyll lib:hakyll >=4.7.2.0
- mtl lib:mtl >=0
- pandoc lib:pandoc >=0
- text lib:text >=0
- transformers lib:transformers >=0
- xhtml lib:xhtml >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything