標籤: Maude

在WSL/linux系統中，想要使用vscode編寫Maude。我們需要使用Maude插件實現部分語法高亮，下面我們就來看看詳細的教程。首先在vscode插件管理器可以搜索到Maude插件。Visual Studio Code(代碼編輯器) v1.63.2 64位 中文免費綠色版類型：編譯工具大小：

閱讀原文