Lokale Bindungen (Übersetzung)

Übersetzung in Multi-Applikation/Abstraktion

(let [(n1,x1),..,(nk,xk)] y)
   -> ((abs [n1,..,nk] y) x1 .. xk)

Beachte: das geht nicht:

(let ((x (@+ 3 4)) (y (@* x x))) (@- x y))

die x in Definition von y beziehen sich nicht auf das x aus der ersten Definition

Abhilfe:

(let ((x (@+ 3 4))) 
     (let ((y (@* x x))) (@- x y)) )