languages.idris #methods #M.packages #function M.packages() -> ("edwinb/idris2-vim") M.server #function M.server() -> string M.load #function M.load() -> nil