ContextQMD
Back to Spacevim

SpaceVim lang#agda layer

docs/layers/lang/agda.md

2.4.01.3 KB
Original Source

Available Layers >> lang#agda

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

Description

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

Features

  • syntax highlighting

Install

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

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

Key bindings

Key bindingsDescription
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