coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ricky Elrod <ricky AT elrod.me>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Puzzle: NYC Guys
- Date: Mon, 17 Oct 2016 01:53:38 -0400
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ricky AT elrod.me; spf=None smtp.mailfrom=ricky AT elrod.me; spf=None smtp.helo=postmaster AT mail-pf0-f178.google.com
- Ironport-phdr: 9a23:Wno1bRCgy7MsZO752XPQUyQJP3N1i/DPJgcQr6AfoPdwSP75osbcNUDSrc9gkEXOFd2CrakV0ayL6uu5ATZIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD1YLqjqvro8ebSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVHSODxe7kyZb1eFjUvdW4vt+PxshyWdwqE5WpUf2EMlRYAVxLE5xLrdpr1qCz28O9wjnrJdfbqRKw5DGzxp5xgTwXl3X8K
On 09/27/2016 06:31 AM, Fred Smith wrote:
> I didn't want to spoil the fun. Haven't shared my solution yet.
I'd be interested in seeing your solution. :-)
Ricky
Attachment:
signature.asc
Description: OpenPGP digital signature
- Re: [Coq-Club] Puzzle: NYC Guys, Laurent Thery, 10/14/2016
- Re: [Coq-Club] Puzzle: NYC Guys, Laurent Thery, 10/17/2016
- <Possible follow-up(s)>
- Re: [Coq-Club] Puzzle: NYC Guys, Ricky Elrod, 10/17/2016
- Re: [Coq-Club] Puzzle: NYC Guys, Amirhossein Vakili, 10/17/2016
Archive powered by MHonArc 2.6.18.