lib:PandocAgda

Modules

• Agda.Interaction.Highlighting.PandocHTML
• Agda.Interaction.PandocConvertOptions
• Agda.Interaction.PandocOptions
• Agda.PandocMain

Dependencies

• Agda lib:Agda ==2.3.3
• QuickCheck lib:QuickCheck >=2.3 && <2.6
• Win32 lib:Win32 >=2.2 && <2.3
• base lib:base >=4.2 && <4.7
• containers lib:containers >=0.1 && <0.6
• directory lib:directory (>=1.2 && <1.3) && >=1.0 && <1.2
• filepath lib:filepath >=1.1 && <1.4
• mtl lib:mtl >=2.0 && <2.1 || >=2.1.1 && <2.2
• old-time lib:old-time >=1.0 && <1.2
• pandoc lib:pandoc >=1.10 && <1.11
• pandoc-types lib:pandoc-types >=1.10 && <1.11
• text lib:text >=0.11 && <0.12
• time lib:time >=1.4 && <1.5
• xhtml lib:xhtml >=3000.2 && <3000.3

Reverse dependencies

Direct only. Not exhaustive.

• PandocAgda exe:agdapandoc
• acme-everything lib:acme-everything