gmarpons/asciidoc-hs

Document inline parser grammar and properties

Opened this issue 3 years ago · 1 comments

gmarpons commented 3 years ago

Document inline parser grammar and properties

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.