I’m back in Los Angeles now. I didn’t have time to do anything or write yesterday, it was a full day of walking around at ComicCon, taking in the beautiful beach at La Jolla, and sitting in the car to get back to LA.
I finished implementing implication and the unit tests, and I also successfully converted my program from sets to lists the day before yesterday already. Negation is now unary, and implication has to be binary as a two-member array. Now I need to change a few sections of my thesis because they are no longer accurate, but that may have to wait until I’m back in Houston on Tuesday night/Wednesday.