UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture6/ snippet-018.rkt
#lang plait
{lam x {+ x 1}}