idris2

URL: https://github.com/idris-community/idris2-nvim/

Maintainers: Mitchell Nordine

plugins.idris2.enable

Whether to enable idris2.

Type: boolean

Default: false

Example: true

Declared by:

plugins.idris2.package

The idris2 package to use.

Type: package

Default: pkgs.vimPlugins.idris2-nvim

Declared by:

plugins.idris2.settings

Options provided to the require('idris2').setup function.

Type: attribute set of anything

Default: { }

Example:

{
  callback = {
    __raw = ''
      function()
        print('nixvim')
      end
    '';
  };
  foo_bar = 42;
  hostname = "localhost:8080";
}

Declared by: