lib:hakyll-agda

Modules

• Hakyll.Web.Agda

Dependencies

• Agda lib:Agda >=2.3 && <3
• base lib:base >=3 && <5
• containers lib:containers >=0.4.2 && <0.5
• directory lib:directory >=1.1 && <2
• filepath lib:filepath >=1.3 && <2
• hakyll lib:hakyll >=4.2 && <5
• mtl lib:mtl >=2.1 && <3
• pandoc lib:pandoc >=1.10 && <2
• transformers lib:transformers >=0.3 && <0.4
• xhtml lib:xhtml >=3000.2 && <3000.3

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything