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

utils.map("n", "<leader>j", ":CoqNext<Enter>")
utils.map("n", "<leader>k", ":CoqUndo<Enter>")
utils.map("n", "<leader><Enter>", ":CoqToLine<Enter>")

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