David Evans http://www.cs.virginia.edu/~evans CS200: Computer Science University of Virginia Computer Science Lecture 25: Metalinguistics > (meval '((lambda (x) (*…