#lang plait eval(...) = ... same as the AE rules ... eval({let1 {x E1} E2}) = eval(E2[eval(E1)/x]) eval(ID) = error!