Search results

Code is unexpectedly indented on closing <code>}</code>

Status: Open.

#38 In idris-community/idris2-nvim;

· joelberkeley opened on Feb 2, 2025

Unable to use autocompletion.

Status: Open.

#37 In idris-community/idris2-nvim;

· 120ace opened on Dec 14, 2024

Code actions slightly broken with other LSPs when using the save hook from README

Status: Open.

#33 In idris-community/idris2-nvim;

· sagehane opened on Oct 20, 2024

highlight not working by default

Status: Open.

#30 In idris-community/idris2-nvim;

· glyh opened on Sep 14, 2023

No autocomplete

Status: Open.

#25 In idris-community/idris2-nvim;

· Tylerwbrown opened on Mar 27, 2023

Error messages when <code>idris2</code> isn't in <code>$PATH</code>

bugSomething isn't workingSomething isn't working

Status: Open.

#23 In idris-community/idris2-nvim;

· sagehane opened on Oct 27, 2022

Don't assume all LSP clients provide "textDocument/semanticTokens/full"

bugSomething isn't workingSomething isn't working

Status: Open.

#17 In idris-community/idris2-nvim;

· gekoke opened on Apr 24, 2022