Languages.agda

languages.agda #

methods #

M.packages #

function M.packages() ->  ("kana/vim-textobj-user","neovimhaskell/nvim-hs.vim","isovector/cornelis")

M.load #

function M.load() ->  nil

M.grammars #

function M.grammars() ->  ("agda")

M.server #

function M.server() ->  string

fields #

M.default_config #

M.default_config: {
    cornelis: table,
    binds: table,
}