#lang plait
eval({+ E1 E2}) = eval(E1) + eval(E2)
if eval(E1) and eval(E2) are numbers
otherwise error!
#lang plait
eval({+ E1 E2}) = eval(E1) + eval(E2)
if eval(E1) and eval(E2) are numbers
otherwise error!