UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture5/ snippet-024.rkt
#lang plait
{let1 {x 5} {+ x {let1 {y 6} {+ x y}}}}