QED<br><br><div class="gmail_quote">2009/3/17 Daniel Schüssler <span dir="ltr"><<a href="mailto:anotheraddress@gmx.de">anotheraddress@gmx.de</a>></span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
(correction of the example)<br>
<div class="im"><br>
(105: ) (106: A) (107: X,B) (108: C,D) (109: E ) (110: )<br>
<br>
moving down X will result in either<br>
<br>
(105: A) (106: B) (107: X ) (108: C,D) (109: E ) (110: )<br>
<br>
or equivalently<br>
<br>
</div>(105: ) (106: A) (107: B ) (108: X ) (109: C,D) (110: E)<br>
<div><div></div><div class="h5">_______________________________________________<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><br clear="all"><br>-- <br>We can't solve problems by using the same kind of thinking we used when we created them. <br> - A. Einstein<br>