obsidian-plugin/tomaz1502_lean-syntax-highlight
1
0
Fork 0
mirror of https://github.com/tomaz1502/lean-syntax-highlight.git synced 2026-07-22 09:30:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
tomaz1502_lean-syntax-highl.../mode/lean
History
tomaz1502 22b7540018 Support nested comments
2025-02-04 23:56:04 -03:00
..
lean.js Support nested comments 2025-02-04 23:56:04 -03:00