How does it compare to CommonMark, which I think was the first formally specified Markdown dialect?
CommonMark spec[1] is laaarge and not formal (no grammar). StrictMark has block-level[2] and inline[3] grammars, 100+ and 200+ lines of Ragel code respectively. May parse with regexes too, and results will be identical.
[1]: https://spec.commonmark.org/0.31.2/
[2]: https://github.com/gritzko/beagle/blob/main/dog/tok/MKDTB.c....
[3]: https://github.com/gritzko/beagle/blob/main/dog/tok/MKDT.c.r...
alt Hacker News
CommonMark spec[1] is laaarge and not formal (no grammar). StrictMark has block-level[2] and inline[3] grammars, 100+ and 200+ lines of Ragel code respectively. May parse with regexes too, and results will be identical.
[1]: https://spec.commonmark.org/0.31.2/
[2]: https://github.com/gritzko/beagle/blob/main/dog/tok/MKDTB.c....
[3]: https://github.com/gritzko/beagle/blob/main/dog/tok/MKDT.c.r...