| From: Danny Yoo (dyoo at hkn.eecs.berkeley.edu) Date: Fri Jun 23 10:15:03 EDT 2006 |
|
> In this particular example, it's actually possible to do without the > additional auxiliary. Play it through --- I think you'll be surprised > by the definition once you get it it, because it isn't obvious, but it's > very cute. Ack. I need to correct myself: you might need an auxiliary here, but it's not the auxiliary you're thinking of. *grin*
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}