文件名称：agda-mode-vscode:VS Code上的agda模式
文件大小：457KB
文件格式：ZIP
更新时间：2024-06-04 19:18:03
vscode vscode-extension agda reasonml agda-mode
VS Code上的agda模式 反馈，问题和PR都欢迎！ 安装 确保已正确安装 （要在终端中进行检查，请键入agda并查看其是否在您的计算机上）。 打开一个Agda文件，您应该可以通过键入Cc Cl来加载它。 阿格达语言服务器 仍处于开发阶段，但是如果您想尝试一下，请按照。 如果可行，您应该在面板的右上方看到“ LSP”而不是“ Emacs”。 指令 Cc代表“同时按下Ctrl和c ” 对于Cc Cl之类的连击，您通常可以将它们说成“按住Ctrl的同时按c然后按l ” 使用类型的命令（标有 :level_slider: 下面的表情符号）可以具有不同的规范化级别。 但是，由于某些，我们不能像Emacs中那样在命令前添加Cu或Cu Cu前缀。 取而代之的是，我们在更换Cu Cc前缀Cu和Cu Cu Cc前缀Cy 。 以推断类型为例： 归一化水平 VS Code中的按键映射 Emacs中的键盘映射 “简体”（