[Agda] Installing standard and plfa libraries

Nils Anders Danielsson nad at cse.gu.se
Tue Apr 14 11:06:51 CEST 2020


On 2020-04-12 14:24, Michel Levy wrote:
> This library doesn't have a "standard-library.agda-lib" file.

The standard library does have such a file:

   https://github.com/agda/agda-stdlib/blob/master/standard-library.agda-lib

Perhaps something went wrong with your installation, or perhaps you have
a very old version of the library.

-- 
/NAD


More information about the Agda mailing list