标签： cygwin windows-10
我尝试使用此处的说明http://safe-tools.dsic.upv.es/maude/安装Maude for Windows 10 64位
我无法让Cygwin终端去做它应该做的事情。
$ cd buddy -bash：cd：buddy：没有这样的文件或目录
但目录显然在那里。
答案 0 :(得分：0)
以下是我知道可以使用的其他链接，以防您想看看：
Direct method
For eclipse
Maude online compiler
我个人总是选择使用在线版。