pandoc-logic-proof-0.2.0.4: A pandoc filter that provides a Markdown extension for logic proofs.
Copyright(c) 2020-2023 Amy de Buitléir
LicenseBSD--3
Maintaineramy@nualeargais.ie
Stabilityexperimental
PortabilityPOSIX
Safe HaskellSafe-Inferred
LanguageHaskell2010

Text.Pandoc.Filters.LogicProof

Description

See https://github.com/mhwombat/pandoc-logic-proof for information on how to use this filter.

Synopsis

Documentation

transform :: Pandoc -> Pandoc Source #

A transformation that can be used with Hakyll.

formatProofs :: Block -> Block Source #

Exported for use by the executable.