Closed bhargavkulk closed 1 year ago
What version of Coq are you using?
I am using Coq version 8.11.0.
@wags-1314 Tried a few different versions with the same issue.
Not Working
Working
(I'm using nix so quite easy to test different versions)
Yeah, probably the right "fix" is just to acknowledge that, now, more recent Coq versions are required. I'm not remembering a place where I previously indicated version requirements, but I just added a footnote in the main text.
I am trying to use the Coq files of the textbook, and ran into an issue when I ran
make lib
.Steps to reproduce:
make lib
I get this as the output to
make lib
: