#lang plait
(define-syntax-rule (let1 (var expr) body)
(let ([var expr]) body))
{let1 {x 1} {+ x x}}
{let1 {x 1}
{let1 {y 2}
{+ x y}}}
#lang plait
(define-syntax-rule (let1 (var expr) body)
(let ([var expr]) body))
{let1 {x 1} {+ x x}}
{let1 {x 1}
{let1 {y 2}
{+ x y}}}