Re: August Meeting - 15th, 6:30 - Aaron Mansheim

Dan Mead on 6 Aug 2013 18:43:12 -0700

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: August Meeting - 15th, 6:30 - Aaron Mansheim - Constructing Correct Algorithms For Haskell

From: Dan Mead <d.w.mead@gmail.com>
To: Philly Lambda <philly-lambda@googlegroups.com>
Subject: Re: August Meeting - 15th, 6:30 - Aaron Mansheim - Constructing Correct Algorithms For Haskell
Date: Tue, 6 Aug 2013 21:43:05 -0400
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-unsubscribe:content-type; bh=S/yVgzf57L1QqfdyA5Jjpb7Rd5TMIqRA/84xzHaOyT0=; b=FYN8N+ETMprjtzSl7tDaUWhJ95UAsDQk01MUyoF+2ezcjaJHxwsPaC0wGr9ve0OtGE f4RuZ+G+TpXcy/rV/hJb0Y03xd00xaJvZ6PJRf8q5lFXIXAohVm8DohrRP8XfrUJO57n uPsJyUHPTp07Ej+MAGHX5HL06Ald8jscBsl51FHncFFo6GVbF/NxPIlY0bBHTKVoP3Xa sCZU4jj28QhC9houjG9UcRYs5LeKWwi2YLIF/IEamQeV4JOW7mjJP4zMu8uaUfxBLgD4 b6B5o1Id3CG0JEhEmZUISixk9S10Zd5ScahBoja1OT26GzCAHQ64A6NcHARm3jNMm1Ke eHiA==
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-unsubscribe:content-type; bh=S/yVgzf57L1QqfdyA5Jjpb7Rd5TMIqRA/84xzHaOyT0=; b=ZjyQKvb+O11XmuMHlczE2R2ZeW7qjgvshzH/739k37YRPdKhmoazVCer63/XN4wbRy 31tjEWjfzfMtxhQXZFwPiS84KlIl6zRyeFA0ubZ6eryEN8wvSHUH4ge0cpLKP4hufOa8 b22YEke/W60YuhuvvKxcxuerOEjXtNd0+kv3LXGKvPq1YZYOw1bRhXdGQubFCq8cwEoL /cGxeVGH5bcvN9hqO2vKE2fwI+uGIMATJflwiXWbNXYfKp4lHLXCgZvKoD8j9NsbonF3 FhtxzB7s4v/a1hT5OKlleicnC5Ba7165eS+zxQM+7u8Lqgd3HP07A/WkD33gxfbRFzIh egng==
List-archive: <http://groups.google.com/group/philly-lambda>
Mailing-list: list philly-lambda@googlegroups.com; contact philly-lambda+owners@googlegroups.com
Reply-to: philly-lambda@googlegroups.com
Sender: philly-lambda@googlegroups.com

I assume Aaron is a Benjamin Pierce student?

--

---
You received this message because you are subscribed to the Google Groups "Philly Lambda" group.
To unsubscribe from this group and stop receiving emails from it, send an email to philly-lambda+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Follow-Ups:
- Re: August Meeting - 15th, 6:30 - Aaron Mansheim - Constructing Correct Algorithms For Haskell
  - From: Aaron Mansheim <minopret@gmail.com>

References:
- August Meeting - 15th, 6:30 - Aaron Mansheim - Constructing Correct Algorithms For Haskell
  - From: Michael Bevilacqua-Linn <michael.bevilacqualinn@gmail.com>

Prev by Date: August Meeting - 15th, 6:30 - Aaron Mansheim - Constructing Correct Algorithms For Haskell
Next by Date: Re: August Meeting - 15th, 6:30 - Aaron Mansheim - Constructing Correct Algorithms For Haskell
Previous by thread: August Meeting - 15th, 6:30 - Aaron Mansheim - Constructing Correct Algorithms For Haskell
Next by thread: Re: August Meeting - 15th, 6:30 - Aaron Mansheim - Constructing Correct Algorithms For Haskell
Index(es):
- Date
- Thread