Mathematical extension for markdown
Built with https://github.com/stefan-hoeck/idris2-parser
Resources
https://www.w3.org/TR/mathml-core/
https://typst.app/docs/reference/math/
https://github.com/stefan-hoeck/idris2-dom-mvc
https://github.com/stefan-hoeck/idris2-dom
https://idris2.readthedocs.io/en/latest/cookbook/parsing.html