xes 2 and 3:

<p>
<pre>
($letrec ((&lt;name&gt; ($lambda (&lt;parameter&gt;...) &lt;body&gt;...)))
  (&lt;name&gt; &lt;argument&gt;...))
</pre>
</li>

<li>For informal syntaxes 4 and 5:

<p>
<pre>
($letrec ((&lt;name&gt; ($lambda (&lt;parameter&gt;...
   
. &lt;rest-parameter&gt;) &lt;body&gt;...))) 
  (&lt;name&gt; &lt;argument&gt;... &lt;rest-argument&gt;...))
</pre>
</li>
</ul>

<H1>Implementation</H1>

Here is an implementation using <code>SYNTAX-RULES</code>.

<p>
<pre>
;; Use your own standard let.
;;