SpaceVim

一个模块化的 Vim/Neovim 配置集合

主页 | 关于我们 | 入门指南 | 使用文档 | 开发指南 | 用户社区 | 赞助 | English

可用模块 » lang#agda

模块简介

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

功能特性

启用模块

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

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

快捷键

快捷键 功能描述
SPC l r execute current file
SPC l l reload
SPC l t infer
SPC l f refine false
SPC l F refine true
SPC l g give
SPC l c make case
SPC l a auto
SPC l e context
SPC l n Normalize IgnoreAbstract
SPC l N Normalize DefaultCompute
SPC l M Show module
SPC l y why in scope
SPC l h helper function
SPC l m metas

由Jekyll强力驱动