They even invited Guy Lewis Steele, Jr. hos talk is on YouTube and was awesome. His meta-notation is explained more expansively in a paper on his Oracle page.