agda

I installed Agda in Codespaces via Cabal, the installation seems to run fine, I can also use Agda in the integrated terminal, but the extension agda-mode gives me this error: Connection Error: Unable to find agda Here are the error…