Lists and Implication Done

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.


About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in Concurrent Unit Testing, MS Thesis. Bookmark the permalink.

Leave a Reply