Fork me on GitHub

SpaceVim

A community-driven vim distribution


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


可用模块 » 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

网站源码位于 Github, 帮助改进本页面 — 网站主题: mattgraham,