-- Author       : swytch
-- Created      : Sunday Oct. 03, 2021 18:06:12 CET
-- License      : GPLv3
-- Description  : verilog fietype config

utils.map("n", "<C-c>", "<cmd>CoqInterrupt<CR>")
utils.map("n", "<leader>j", "<cmd>CoqNext<CR>")
utils.map("n", "<leader>k", "<cmd>CoqUndo<CR>")
utils.map("n", "<leader><CR>", "<cmd>CoqToLine<CR>")
utils.map("n", "<leader>a", ":Coq About")
utils.map("n", "<leader>s", ":Coq Search")
utils.map("n", "<leader>G", "<cmd>CoqJumpToEnd<CR>")

utils.map("i", "//", "∥")