[Agda] installing agda on windows

Nils Anders Danielsson nad at cse.gu.se
Fri Feb 8 15:09:45 CET 2019


On 08/02/2019 15.07, Nils Anders Danielsson wrote:
> Perhaps the directory is %APPDATA%/Agda.

Or rather %APPDATA%\agda, like Ulf wrote.

-- 
/NAD


More information about the Agda mailing list