prescientmoon/satellite
prescientmoon/satellite
1
Fork 0
Code Activity

Fp abbreviations, kicad and nvim keymap docs

Browse source
This commit is contained in:
Matei Adriel 2023-03-14 20:57:07 +01:00
parent 1ed61054f7
commit eaebbca5b3
No known key found for this signature in database
17 changed files with 351 additions and 237 deletions
dotfiles/neovim/lua/my/plugins
idris.lua

4
dotfiles/neovim/lua/my/plugins/idris.lua
View file

@ -22,10 +22,10 @@ function M.config()
end, { desc = desc, bufnr = true })
end
nmap("C", "make_case", "Make [c]plit")
nmap("C", "make_case", "Make [c]ase")
nmap("L", "make_lemma", "Make [l]emma")
nmap("c", "add_clause", "Add [c]lause")
nmap("s", "expr_search", "Expression [s]earch")
nmap("e", "expr_search", "[E]xpression search")
nmap("d", "generate_def", "Generate [d]efinition")
nmap("s", "case_split", "Case [s]plit")
nmap("h", "refine_hole", "Refine [h]ole")