Add an option to run Agda setup if compiled with Agda v2.8.0 or later#39

banacorn merged 1 commit intoagda:masteragda/agda-language-server:masterfrom

agda-web:wasm-agda-setupagda-web/agda-language-server:wasm-agda-setupCopy head branch name to clipboard