[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