lib:blagda

Modules

• Blagda
• Blagda.Agda
• Blagda.Diagrams
• Blagda.Equations
• Blagda.Latex
• Blagda.Markdown
• Blagda.References
• Blagda.Rename
• Blagda.Template
• Blagda.Types
• Blagda.Utils

Dependencies

• Agda lib:Agda >=0
• SHA lib:SHA >=0
• aeson lib:aeson >=0
• base lib:base >=4.7 && <5
• bytestring lib:bytestring >=0
• containers lib:containers >=0
• directory lib:directory >=0
• mtl lib:mtl >=0
• mustache lib:mustache >=0
• pandoc lib:pandoc >=0
• pandoc-types lib:pandoc-types >=0
• process lib:process >=0
• shake lib:shake >=0
• syb lib:syb >=0
• tagsoup lib:tagsoup >=0
• text lib:text >=0
• time lib:time >=0
• unordered-containers lib:unordered-containers >=0
• uri-encode lib:uri-encode >=0

Reverse dependencies

Direct only. Not exhaustive.

• blagda exe:blagda