Reinier Lamers <tux_roc...@reinier.de> added the comment:

Op woensdag 23 juni 2010 17:24 schreef Eric Kow:
>  l1     l2    ((%     r3     r4))   l5.3   l6  (case iii!)

Isn't that a case iv? l5.3 can't even commute past the right bubble because r3 
is in the right bubble. Just checking if I understand...

Reinier

----------
nosy: +tux_rocker

__________________________________
Darcs bug tracker <b...@darcs.net>
<http://bugs.darcs.net/patch273>
__________________________________
_______________________________________________
darcs-users mailing list
darcs-users@darcs.net
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to