He recently gave a Haskell course there, I think. Bob Ippolito was talking about that.