As the class schedule indicates I'll be gone for a couple of
weeks. (The exact dates turn out to be from 2/13 to 3/1.) The trip is
for personal reasons (it is the trip to Mecca required once in a
lifetime from all Muslims). I realize that this is a long time for me
to be gone and I am doing my best to cause the least disruption to the
class. The schedule is such that those two weeks should mostly be
spent learning Haskell since this is an essential component of the
AsmGofer approach to specification. Ryan Newton and Felix Tekhorn have
kindly agreed to cover the lectures during this time. They have both
worked extensively with Haskell and in my opinion are very well
qualified to teach it and they have the talent too. Your goal during
those two weeks should then be to learn as much Haskell as possible,
at least enough to do Assignment 2.
In addition to the above arrangements, I will try to compensate for
the lost time by meeting individually with each group in several
"personalized" lecture/discussion sessions.
Please let me know if you have any concerns or questions and I
apologize for the inconvenience.