SpaceVim

A modular Vim/Neovim configuration


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


Available Layers » lang#agda

Description

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

Features

Install

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

[[layers]]
  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