Visual Studio Code Extension for CafeOBJ language that includes syntax highlighting and snippets.
Based on the maude.tmbundle by mkhl.
Development and maintenance by members of Ogata Laboratory.
Providing syntax highlighting for the CafeOBJ language declarations such as module, import module, sort, operation, equation, view, and proof scores.
Including some snippets to facilitate your work.
Checking the known issues here. You are appreciated to report bugs to improve the extension as well.