Gaze/SpaceVim
1
0
Fork 0
mirror of https://github.com/SpaceVim/SpaceVim.git synced 2025-04-14 23:49:19 +08:00
Code Issues Projects Releases Wiki Activity

doc(layer): update :h SpaceVim-layers-lang-agda

Browse Source
This commit is contained in:
Shidong Wang 2021-10-01 18:22:05 +08:00
parent 2253f54be5
commit f544542ac9
No known key found for this signature in database
GPG Key ID: 41BB7053E835C848
2 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
autoload/SpaceVim/layers/lang/agda.vim
View File

@ -15,6 +15,30 @@
" [layers]
" name = "lang#agda"
" <
"
" @subsection key bindings
"
" The following key bindings will be added when this layer is loaded. All key
" bindings start with `SPC l`.
"
" >
" Key binding 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
" <
function! SpaceVim#layers#lang#agda#plugins() abort
let plugins = []

25
doc/SpaceVim.txt
View File

@ -1719,6 +1719,31 @@ This layer provides syntax highlighting for agda. To enable this layer:
name = "lang#agda"
<
KEY BINDINGS
The following key bindings will be added when this layer is loaded. All key
bindings start with `SPC l`.
>
Key binding 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
<
==============================================================================
LANG#ASCIIDOC *SpaceVim-layers-lang-asciidoc*