I am currently going through the exercises in the file Poly.v from the book Logical Foundations. When trying to step forward to the line
Example test_doit3times: doit3times minustwo 9 = 3. I get the error
The reference minustwo was not found in the current environment.
I tried running
make Basics.vo Induction.vo Lists.vo but that didn’t help.
I suppose I must have missed a step somewhere but I’m not sure which one it is. Any idea? Thanks in advance.