The Coq mailing list

[Robby Findler <robby AT eecs.northwestern.edu>]

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! 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:

    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!