; (LET (v1 e1 v2 e2...) x1 x2...) =>
;	((LAMBDA (v1 v2...) x1 x2...) e1 e2...)
 
(DM LET (L)
,  (LET1 (CADR L) NIL NIL (CDDR L))
,,,)
 
(DE LET1 (L VARS VALS BODY)
,  (COND
,  ,  ((NULL L)
,  ,  ,  (CONS
,  ,  ,  ,  (CONS
,  ,  ,  ,  ,  'LAMBDA
,  ,  ,  ,  ,  (CONS VARS BODY)
,  ,  ,  ,  ,,,)
,  ,  ,  ,  VALS
,  ,  ,  ,,,)
,  ,  ,,,)
,  ,  ( T
,  ,  ,  (LET1
,  ,  ,  ,  (CDDR L)
,  ,  ,  ,  (CONS (CAR L) VARS)
,  ,  ,  ,  (CONS (CADR L) VALS)
,  ,  ,  ,  BODY
,  ,  ,  ,,,)
,  ,  ,,,)
,  ,,,)
,,,)