kmz

1 extension by this developer

kmz

Maude language support (syntax highlighting, folding, diagnostics, outline, go-to-definition, hover, completion) via a Language Server.