Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog LtU is now running in a new, more stable environment