Issues

• Interest in deeper integration with Agda

  agda/agda-language-server#35 · Filter by author nvarner opened on Jul 30, 2025
  6

• Expected functionality for non-VScode editors?

  agda/agda-language-server#25 · Filter by author omentic opened on Dec 19, 2023
  1

• Support semantic highlights

  enhancement
  agda/agda-language-server#13 · Filter by author 4e554c4c opened on Jan 12, 2023
  2