14 lines
456 B
Lua
14 lines
456 B
Lua
-- Author : swytch
|
|
-- Created : Sunday Oct. 03, 2021 18:06:12 CET
|
|
-- License : GPLv3
|
|
-- Description : verilog fietype config
|
|
|
|
utils.map("n", "<C-c>", ":CoqInterrupt<Enter>")
|
|
utils.map("n", "<leader>j", ":CoqNext<Enter>")
|
|
utils.map("n", "<leader>k", ":CoqUndo<Enter>")
|
|
utils.map("n", "<leader><Enter>", ":CoqToLine<Enter>")
|
|
utils.map("n", "<leader>a", ":Coq About")
|
|
utils.map("n", "<leader>G", ":CoqJumpToEnd")
|
|
|
|
utils.map("i", "//", "∥")
|