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