[Agda] using different stdlib

Nils Anders Danielsson nad at cse.gu.se
Mon Jan 31 15:22:18 CET 2022


On 2022-01-30 01:13, Jason Hu wrote:
> I cannot find any settings in my ~/.agda where 1.7 is specified. Is it
> the case that 1.7 is hardcoded in the agda release?

Perhaps one of the libraries that you use specify that
standard-library-1.7 is one of its dependencies. Check the .agda-lib
files.

-- 
/NAD


More information about the Agda mailing list