lib:hakyll-agda

Modules

• Hakyll.Web.Agda

Dependencies

• Agda lib:Agda >=2.4.2.2
• base lib:base >=3 && <5
• containers lib:containers >=0.3
• directory lib:directory >=1
• filepath lib:filepath >=1
• hakyll lib:hakyll >=4.3
• mtl lib:mtl >=2
• pandoc lib:pandoc >=1.10
• transformers lib:transformers >=0.3
• xhtml lib:xhtml >=3000.2

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything