Matthew F, Robby, and I will be in Oxford for ICFP starting late next week. None of us thought of this before but I am sure we could at least arrange for some dinner or afternoon get-together. — Matthias
> On Aug 22, 2017, at 10:44 AM, Tim Jervis <t...@timjervis.com> wrote: > > Hi Matthew, > > I’m based in London and would be interested in a get-together. > > Kind regards, > > > > Tim > >> On 22 Aug 2017, at 15:20, Daniel Brunner <dan...@dbrunner.de> wrote: >> >> Hey Matthew, >> >> I live in Germany and use Racket for teaching students, teaching our >> apprentices (dual education system in Germany) and use it "in >> production" for some tasks. >> >> Best wishes, >> Daniel >> >> Am 22.08.2017 um 15:15 schrieb Matthew Eric Bassett: >>> Hi all, >>> >>> Gutted I can't make it to RacketCon this year. Really glad to see it >>> growing. >>> >>> Question for y'all - how many Racketeers are active on this side of the >>> Atlantic? Enough for a specific get-together over here? Or are there >>> already appropriate venues for that that I'm unaware of (I am already >>> familiar with the European lisp symposium) >>> >>> Best, >>> >>> >> >> -- >> 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. > > > Tim Jervis > > http://timjervis.com/ > > > -- > 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. -- 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.
