Subject says it all. Take your notes from last lecture and burn the last 20 minutes. The second definition of evaluating
fix is wrong and was not supposed to be in my notes. Yuck. I added the definition after last semester when I thought I had reformulated
fix evaluation to be clearer. When I implemented the interpreter I discovered it was wrong. However, I forgot to delete the new version from my notes. Very BAD
The initial definition that is still in the notes is fine as is the example using
fact following. I’ll walk through the example in class on 11/16 and will not trust my notes!
Feel free to boo if I do that again…