Closed andreasabel closed 8 months ago
agda-mode v.0.4.6 just released!
To test the language server:
Build and install the language server on your machine so that als is in PATH Enable agdaMode.connection.agdaLanguageServer in the settings Load an Agda file with C-c C-l If all goes well, you should see "ALS-2.6.4" on the top right corner of the panel.
Agda.TypeChecking.Error.explainWhyInScope
showInfoError
fromEmacsTop
rather than duplicating it here