[Agda] Installing standard and plfa libraries

Michel Levy michel.levy.imag at free.fr
Sun Apr 12 14:24:38 CEST 2020


I'm trying to write all the PLFA exercises.  But I have a problem
installing the pfla library.
More exactly the standard library is usable without "my home/.agda"
directory. This library doesn't have a "standard-library.agda-lib" file.
When I create a ".agda" directory with only the plfa library, I lose
access to the standard library.
This library doesn't have a "standard-library.agda-lib" file.
When I create a "my home/.agda" directory with only the plfa library, I
lose access to the standard library.
What do I have to do to get both standard and plfa libraries?

PS : my agda version is 2.5.3 installed with the Ubuntu packages.

-- 
courriel : michel.levy.imag at free.fr
mobile : 06 59 13 42 53
web : michel.levy.imag.free.fr


More information about the Agda mailing list