UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture6/ snippet-022.rkt
#lang plait
eval(N)         = N

eval({+ E1 E2}) = eval(E1) + eval(E2) ;; etc