Announcing *pandoc-logic-proof*: A pandoc filter that provides a Markdown 
extension for logic proofs. This package has been available from my repo 
for a while, but I have now uploaded it to Hackage, and also made it 
available as a Nix flake.

Hackage: https://hackage.haskell.org/package/pandoc-logic-proof
Repo: https://github.com/mhwombat/pandoc-logic-proof

-- 
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/9a1c2c24-0223-414d-884b-99a889fc67b6n%40googlegroups.com.