I haven't watched the talk yet, but I did consult Google and discovered that LtU had a spirited form on it a while back: http://lambda-the-ultimate.org/node/43

I haven't watched the talk yet, but I did consult Google and discovered that LtU had a spirited form on it a while back: http://lambda-the-ultimate.org/node/4312/ http://lambda-the-ultimate.org/node/4312/