Paul Hudak's homepage has moved to
here
.