From: Thomas Hartman <tho...@marketpsychdata.com>
Date: Sun, 8 Jul 2012 12:52:23 -0700
Local: Sun, Jul 8 2012 3:52 pm
Subject: is this how our children will learn math? Re: Coq reading group
http://perso.ens-lyon.fr/jeanmarie.madiot/coq100/
48 theorems left to formalize.
Anyone want to meet up?
On Sat, Jan 7, 2012 at 12:04 PM, Thomas Hartman
<tho...@marketpsychdata.com> wrote:
-- > 10am works for me, and changed subject to contain correct time. Whoops. > On Jan 7, 2012 10:23 AM, "Rob Zinkov" <rzin...@gmail.com> wrote:
>> 10am works for me
>> On Jan 7, 2012 1:08 PM, "Michael Vanier" <mvanie...@gmail.com> wrote:
>>> I can't do 1 PM at all. I can do 10 AM - 1 PM, or I'm free the entire
>>> BTW Thomas and I were talking about iteratees, and Mike Snoyman wrote
>>> http://www.yesodweb.com/book/enumerator
>>> Mike
>>> On 1/7/12 9:35 AM, Thomas Hartman wrote:
>>>> Is this time ok?
>>>> Todd could you cc your friend in hawaii? I forgot his name.
>>>> ---------- Forwarded message ----------
>>>> On 1/6/12 10:44 PM, Thomas Hartman wrote:
>>>> I can't do afternoon that Saturday. How about morning, like 10am?
>>>> On Jan 6, 2012 10:18 PM, "Michael Vanier" <mvanie...@gmail.com
>>>> Thomas,
>>>> My phone just died -- sorry. Anyway, we should plan for 2 PM next
>>>> Mike
>>>> Morning at 10 AM works for me, with the caveat that I have to leave at 1
>>>> Mike
-- _____________________ Thomas Hartman MarketPsych LLC MarketPsy Capital LLC 2400 Broadway, Suite 220 Santa Monica, CA, USA Tel: +1.310.573.8523 ______________________ This e-mail message and any attachments may contain information that
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| ||||||||||||||