[Agda] install agda

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat May 2 18:13:39 CEST 2020


On Sat, 2 May 2020 at 11:05, Michel Levy <michel.levy.imag at free.fr> wrote:
> Hence my question: where to find the new
> installation in the directory Agda-2.6.1 and how to reinstall the agda
> command and the agda mode .

The new commands are in the directory `Agda-2.6.1/.cabal-sandbox/bin`.

-- 
Andrés


More information about the Agda mailing list