[Agda] using different stdlib
fdhzs2010 at hotmail.com
Sun Jan 30 01:13:42 CET 2022
I am trying to use the master branch of the stdlib and what I did was simply pull the git repo in ~/.agda and switch it to master. Naturally, the version number went from 1.7 to 2.0 after I checked out the master branch. However, after that, agda complains that it cannot locate standard-library-1.7. The error message goes as follows:
Library 'standard-library-1.7' not found.
Add the path to its .agda-lib file to
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda