Language CafeOBJ Support

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.

Features

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.

Known Issues

Checking the known issues here. You are appreciated to report bugs to improve the extension as well.

Release Notes

1.0.4