After getting a couple of questions answered by wjl about the homework, it's been smooth sailing. Only 2 out of 7 pages of inference rules left to implement!

---

And what a 2 pages they were! Took me about three hours. I think the whole assignment took me maybe 8 to 10 to get a first draft of the code, ugh. I think I'll save testing for whenever I get around to it tomorrow...