idris layer #

The idris layer enables support for the Idris programming language via idris2-vim. This plugin’s documentation specifies its requirements.

Bindings #

Mappings are available in the “Interactive Editing Commands” section of idris2-vim.

Configuration #

Any vim global variable that the “Configuration” section of idris2-vim states can be set to configure idris2-vim is also a valid field for this layer’s config, as long as you strip the idris_ prefix. As Idris does not have a Language Server on Mason at the moment, lspconfig should only be used if lsp is set to the name of a preinstalled executable that can be used as a Language Server for the language.

Examples #

-- path/of/your/vim/config/init.lua

require("visimp")({
  coq = {
    indent_if = 3 -- do not use the idris_ prefix
  },
  languages = {
  "idris"
  }
})

Documentation #

The full documentation for the plugin is available here. The plugin was written by Idris designer Edwin Brady, who also wrote a blog post titled “Interactive Idris editing with vim”.