@hackage / PandocAgda

Pandoc support for literate Agda

Version Deprecated package2.3.3.0.2

Security Advisories

No advisories found.