ContextQMD
Back to Spacevim

SpaceVim lang#agda 模块

docs/cn/layers/lang/agda.md

2.4.01.2 KB
Original Source

可用模块 >> lang#agda

<!-- vim-markdown-toc GFM --> <!-- vim-markdown-toc -->

模块简介

Agda 是一种依赖类型的函数式编程语言。这一模块为 SpaceVim 提供了 agda 开发支持。

功能特性

  • 语法高亮

启用模块

可通过在配置文件内加入如下配置来启用该模块：

toml
[[layers]]
  name = "lang#agda"

快捷键

快捷键功能描述
SPC l rexecute current file
SPC l lreload
SPC l tinfer
SPC l frefine false
SPC l Frefine true
SPC l ggive
SPC l cmake case
SPC l aauto
SPC l econtext
SPC l nNormalize IgnoreAbstract
SPC l NNormalize DefaultCompute
SPC l MShow module
SPC l ywhy in scope
SPC l hhelper function
SPC l mmetas