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