Paul Hudak's homepage has moved to here.