@hackage / agda-snippets

Render just the Agda snippets of a literate Agda file to HTML

Version Deprecated package2.5.2

Changelog

This release does not have a Changelog