----- Original Message -----
From: "Robby Findler" <robby@eecs.northwestern.edu>
To: <coq-club@inria.fr>
Sent: Friday, July 31, 2015 6:34 PM
Subject: [Coq-Club] (fifth RacketCon)
Racket is moving in the direction of dependent types and there's even a talk about it this year at RacketCon. Of course, there's all kinds of other goodies that hackers would enjoy generally. Generic blurb below.
Best,
Robby
RacketCon, the yearly meeting of the community around the Racket programming language, is coming back to St. Louis [Missouri, USA]! Join us for a day of Racket-themed talks, demos and chats on September 27th (the day after Strange Loop), at the St. Louis Union Station hotel.
More details, including the full program, are available at:
https://con.racket-lang.org
Registration is open at:
https://eventbrite.com/event/16825218682/
We're also planning a social gathering of Racketeers and Racket-curious
bystanders the evening before RacketCon (September 26th). Details are forthcoming, but it's not too early to mark it on your calendar!
See you in St. Louis!
ȴȵȶȸȹȴȵȶȸȹȴȵȶȸȹ
When Louis came home to the flat
He hung up his coat and his hat
He gazed all around, but no wifey he found
So he said, "Where can Flossie be at?"
He hung up his coat and his hat
He gazed all around, but no wifey he found
So he said, "Where can Flossie be at?"
A note on the table he spied
He read it just once, then he cried
It ran, "Louis dear, it's too slow for me here
So I think I will go for a ride"
He read it just once, then he cried
It ran, "Louis dear, it's too slow for me here
So I think I will go for a ride"
Meet me in St. Louis, Louis
Meet me at the fair
Don't tell me the lights are shining
Any place but there
Meet me at the fair
Don't tell me the lights are shining
Any place but there
We will dance the Hootchy-kootchy
I will be your tootsie wootsie
If you will meet in St. Louis, Louis
Meet me at the fair
I will be your tootsie wootsie
If you will meet in St. Louis, Louis
Meet me at the fair
Meet me in St. Louis, Louis
Meet me at the fair
Don't tell me the lights are shining
Any place but there
Meet me at the fair
Don't tell me the lights are shining
Any place but there
We will dance the Hootchy-kootchy
I will be your tootsie wootsie
If you will meet in St. Louis, Louis
Meet me at the fair
I will be your tootsie wootsie
If you will meet in St. Louis, Louis
Meet me at the fair
Songwriters
Hugh Martin and Ralph Blane
Published byHugh Martin and Ralph Blane
Lyrics © EMI Music Publishing
ȴȵȶȸȹȴȵȶȸȹȴȵȶȸȹ
PizzaQ!
Which Fair are they singing about?
Vleeptron needs the Year, and the full official name of this-here Fair.
First correct answer wins 1 Medium Pie, Funghi and garlic toppings. I just can't get enough Funghi.

