search

gmarpons / asciidoc-hs

AsciiDoc parser that can be used as a Pandoc front-end, written in Haskell
BSD 3-Clause "New" or "Revised" License
47 stars 4 forks source link

Document inline parser grammar and properties #22

Open gmarpons opened 3 years ago

gmarpons commented 3 years ago

Most of the work is done here: https://github.com/gmarpons/asciidoc-hs/wiki/Inline-Parsing.

Some proofs are missing, yet.