cafeobj
已收录下载：1条
-
工具软件 | 2个月前 | theme · __web_extension · snippet · icon-theme · __ext_cafe · cafeobj · Visual Studio Code新的介绍内容：CafeOBJ语言的VisualStudioCode扩展，为您提供专业的编程支持。该扩展由Ogata实验室成员开发和维护，基于mkhl的maude.tmbundle，旨在提升您的CafeOBJ编程体验。主要功能：语法高亮：支持CafeOBJ语言的多种声明，包括模块（module）、导入模块（importmodule）、排序（sort）、操作（operation）、方程（equ4