Languages.rocq

global languages.rocq #

methods #

M.packages #

function M.packages() ->  ("whonore/Coqtail")

M.load #

function M.load() ->  nil

fields #

M.default_config #

M.default_config: {
    coqtail: { nomap = 1, noimap = 1,  },
    binds: { function, function, function, function, function, function, ... },
}