【文件属性】：
文件名称：agda-mode-vscode:VS Code上的agda模式
文件大小：457KB
文件格式：ZIP
更新时间：2021-05-16 01:31:23
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中的键盘映射
“简体”（