Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feature Request: Support Coq (Gallina) programming language #278

Open
m-zaya opened this issue Aug 21, 2024 · 0 comments
Open

Feature Request: Support Coq (Gallina) programming language #278

m-zaya opened this issue Aug 21, 2024 · 0 comments
Assignees
@mayurankv
Labels
enhancement New feature or request

Comments

@m-zaya
Copy link

m-zaya commented Aug 21, 2024 •
edited
Loading

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.
@m-zaya m-zaya added the enhancement New feature or request label Aug 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mayurankv mayurankv

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mayurankv @m-zaya