A modular Vim/Neovim configuration

Home | About | Quick start guide | Documentation | Development | Community | Sponsors | 中文

Available Layers » lang#agda


Agda is a dependently typed functional programming language. This layer adds Agda language support to SpaceVim.



To use this configuration layer, update your custom configuration file with:

  name = "lang#agda"

Key bindings

Key bindings Description
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

Powered by Jekyll