Contribution. agda-mode-vscode [agda-mode-vscode]

2025 · Lîm Tsú-thuàn · https://github.com/banacorn/agda-mode-vscode

agda-mode on VSCode

  1. Provide hover text to hint about how to type a symbol. #258