There is one thing that I don't know yet how to fix: *.md files have Markdown Preview, but *.rzk.md do not anymore. Markdown Preview is useful when I insert SVG diagrams in the markdown files (e.g. see Associativity section for Segal Types). If you have ideas or you would like to submit a PR — it would be most welcome! :)
Originally posted by @fizruk in #1 (comment)
There is one thing that I don't know yet how to fix:
*.mdfiles have Markdown Preview, but*.rzk.mddo not anymore. Markdown Preview is useful when I insert SVG diagrams in the markdown files (e.g. see Associativity section for Segal Types). If you have ideas or you would like to submit a PR — it would be most welcome! :)Originally posted by @fizruk in #1 (comment)