highlight not working by default

[glyh]

Here's my config with lazy:

  { 'ShinKage/idris2-nvim',
    dependencies = {'neovim/nvim-lspconfig', 'MunifTanjim/nui.nvim'},
    -- ft = 'idr',
    lazy = false,
    config = function()
      require('idris2').setup({})
      vim.cmd [[highlight link LspSemantic_type Include]]
    end
  },

[ichxorya]

Have you fixed it?

[glyh]

No

[mainrs]

Does autocomplete or any of the features work for you? The plugin does nothing in my case. Neither syntax highlighting nor does it add any autocompletion features.

Both idris2 and idris2-lsp are on my path. And I have a ipkg file.

[glyh]

Nothing worked when I test it.