CodeMirror plugins

[glennj]

In addition to @keiraville’s posts

• CodeMirror plugin for Lean
• CodeMirror plugin for Zig

I’ve been working with Gemini to create plugins for

• gawk
• jq
• moonscript

[glennj]

Other relevant topics:

• Jq syntax highlighting
• Gleam codemirror plugin repo for the start-to-finish cooperation.