vsclay

A full-featured vscode extension to syntax-highlight claytext with IntelliSense support for MathJaX. Uses injection-grammars to syntax-highlight embedded MathJaX, Coq, Haskell, Rust, and C++.