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

agda-mode on VSCode

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