@hackage / pandoc-logic-proof

A pandoc filter that provides a Markdown extension for logic proofs.

Latest0.2.0.4

Changelog

Changelog

0.2.0.4 Packaged as a Nix flake.

0.2.0.3 Improved error message, updated dependencies.

0.2.0.2 Reformatted source code.

0.2.0.0 Factored out transform into a separate library for use with Hakyll.

0.1.0.0 Initial release