Yes, I wanted to recall this trick for you and overshot :)
> On Apr 19, 2019, at 6:04 PM, zeRusski <vladilen.ko...@gmail.com> wrote: > > Matthias, FWIW your first solution gave me a flashback from last year's > Summer School. I remember using this trick. Now I hope I don't forget when I > actually need it. > > Thank you Michael and Matthias > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com > <mailto:racket-users+unsubscr...@googlegroups.com>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
