id is well defined and there is only one of them.<br><br><div class="gmail_quote">On Dec 29, 2007 3:13 PM, Cristian Baboi &lt;<a href="mailto:cristian.baboi@gmail.com">cristian.baboi@gmail.com</a>&gt; wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">On Sat, 29 Dec 2007 16:01:51 +0200, Achim Schneider &lt;<a href="mailto:barsoap@web.de">barsoap@web.de</a>&gt; wrote:<br><br>&gt; &quot;Cristian Baboi&quot; &lt;<a href="mailto:cristian.baboi@gmail.com">
cristian.baboi@gmail.com</a>&gt; wrote:<br>&gt;<br>&gt;&gt; It appears as if &nbsp;lambda calculus is defined by lambda calculus.<br>&gt;&gt;<br><br>&gt; Yes. id (lambda calculus) = lambda calculus. You might try to point<br>&gt; back to yourself when being asked who you are to see the advantage of
<br>&gt; this technique.<br><br><br></div>The next question is if id is well defined.<br>There is such a function ?<br>How many of them ?<br><div><div></div><div class="Wj3C7c"><br><br>_______________________________________________
<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe
</a><br></div></div></blockquote></div><br>