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