Languages.lean

languages.lean #

methods #

M.dependencies #

function M.dependencies() ->  ("lsp")

M.packages #

function M.packages() ->  ("Julian/lean.nvim")

M.load #

function M.load() ->  nil

fields #

M.default_config #

M.default_config: {
    abbreviations: { builtin = true,  },
    mappings: boolean = true,
}