[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