{-|
Module      : Main
Description : An easy way to create tables with wrapped text in Markdown.
Copyright   : (c) 2020-2023 Amy de Buitléir
License     : BSD--3
Maintainer  : amy@nualeargais.ie
Stability   : experimental
Portability : POSIX

See <https://github.com/mhwombat/pandoc-logic-proof> for information
on how to use this filter.
-}
import Text.Pandoc.Filters.LogicProof (formatProofs)
import Text.Pandoc.JSON               (toJSONFilter)

main :: IO ()
main = toJSONFilter formatProofs