/CMark.lean

Primary LanguageCOtherNOASSERTION

CMark.lean

CMark.lean is a Lean wrapper for the cmmark CommonMark library.

Note: The cmark implementation has been copied into this repository, so there is no need for other installation process.