Feature Request: Support Coq (Gallina) programming language

[m-zaya]

I'm currently using the Coq language, and it seems like Obsidian has some default styling for it in reading mode, but would it be possible to add support for this language with this plugin? I absolutely love the way it looks in both live edit and reading modes, and it would be amazing if it would work with this language too.

[mayurankv]

I've created a meta issue just now about adding language support at #306 to make things a bit clearer hopefully. I'll look to add this to the README as well. To summarise I can't add reading view syntax highlighting. If you have an icon or display name you'd like me to add, that is doable! If that's the case please drop a reply and I'll reopen this.