From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.107.128.147 with SMTP id k19mr22049618ioi.121.1517423708538; Wed, 31 Jan 2018 10:35:08 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.107.9.146 with SMTP id 18ls1368879ioj.5.gmail; Wed, 31 Jan 2018 10:35:07 -0800 (PST) X-Received: by 10.107.139.7 with SMTP id n7mr23167563iod.61.1517423707617; Wed, 31 Jan 2018 10:35:07 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1517423707; cv=none; d=google.com; s=arc-20160816; b=WQyjIjHimqHQ79kOxrdr4xmWLSEsqmbGqDToQAgw5n2eGgSKMsiA1gNjM+BrQw070W az9jtak1B+1b6LXtCxPyOnrXfzjnDSNGUNYUHTfL9W4IClaL9iV/vYbO7npT5pqsKg8B 5UgZ6Q1/T+x/auunhOgvr0K45BRHtuSU9gHU1Tb/HY9co2QilQ8/4D7r/Pxu45ewmX9V Iwcu45ebZOmqkTEM9g3gly3hrdClGC3R7kcq1LyrCyJuQLwoXXkr9FgZzbC9izYrbav6 mEvc6Hw19F9HS3ycC0M1X1cu0PRFwUcV5CnewMNAAi+MibTHl+AhdJAtvpCMF4zV3oYD 2Wbw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=date:to:references:message-id:subject:mime-version :content-transfer-encoding:from:dkim-signature :arc-authentication-results; bh=hpw/DC4vAu6mWBGKrmxHWVhRZmlZOc/zqOPL8ArjJOU=; b=SeTok6uRIQWwg8fNJqxKU7Q5uFbsCny7hnUJfu2IVcUORgstHY72DvNpI/uLMHuUSc wwEywaOglnzCVIVyqQqj3+ATLXZ5E2AXndzti9XBToZeUDeK+f0PaJ4Tnq+f6OS2UZs1 KRb/wnffY5RQhLp9NrttewSju43xp8xh9ljTd1KFT8zWhegU1j8nCVsHAqMJXUNypK4P ctiSK2v1v+FjmF93v9XMHi3fMhg/aIpTw9bWPViVfhKo5qrZPFM1e37aPQJXJ64wlvpi 0H4W29uBtfM9ewFC4K4UIYV4Q3YXGN0movaVlPe6d3GErLjYG3spKJjPleIReUuUWyFM CacA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=bLwC73DV; spf=neutral (google.com: 2607:f8b0:400d:c09::231 is neither permitted nor denied by best guess record for domain of awo...@andrew.cmu.edu) smtp.mailfrom=awo...@andrew.cmu.edu; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Return-Path: Received: from mail-qk0-x231.google.com (mail-qk0-x231.google.com. [2607:f8b0:400d:c09::231]) by gmr-mx.google.com with ESMTPS id 138si15163ite.2.2018.01.31.10.35.07 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 31 Jan 2018 10:35:07 -0800 (PST) Received-SPF: neutral (google.com: 2607:f8b0:400d:c09::231 is neither permitted nor denied by best guess record for domain of awo...@andrew.cmu.edu) client-ip=2607:f8b0:400d:c09::231; Authentication-Results: gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=bLwC73DV; spf=neutral (google.com: 2607:f8b0:400d:c09::231 is neither permitted nor denied by best guess record for domain of awo...@andrew.cmu.edu) smtp.mailfrom=awo...@andrew.cmu.edu; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: by mail-qk0-x231.google.com with SMTP id n188so4634430qkn.11 for ; Wed, 31 Jan 2018 10:35:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmu-edu.20150623.gappssmtp.com; s=20150623; h=from:content-transfer-encoding:mime-version:subject:message-id :references:to:date; bh=hpw/DC4vAu6mWBGKrmxHWVhRZmlZOc/zqOPL8ArjJOU=; b=bLwC73DVjdMjLvObdRZzaN9ITenwusTzFQSkaxstKP7NMpuPHIrUZ8Bt00KxWbUL3u +gHp3SM6mMhox6L/CxDJmfRlMJwOENWAxXFEW4ppOqKroToKdnPCg9NmggShJhO8FSr7 ZgFvQwHnp4mJiluRcDZqlBgAUoVo71XGxeEnkwIKdBPA5FEltIYAKZZr49cz10ufBaOz fU2RYkFC/7gQWvhq7fZ0oresffbFkYZzoo3elZHS40t3t3jflBuaq95Dn6Oj6FbSoMuz SXMJC131WUjBFNLF7wog1fVmDDhw/HQJ4ACa6UQU95pQlpASuHrhTbmqzm77CobIzr9w qgcw== X-Gm-Message-State: AKwxytdfEk2fHZR4M58sio1kdtoxfnBXFUIGFszvfI2d+p028TxaQGJy XOMcK+X4IqOqRjfGbEotVH9xbsRwFHc= X-Received: by 10.55.177.135 with SMTP id a129mr20309193qkf.112.1517423707259; Wed, 31 Jan 2018 10:35:07 -0800 (PST) Return-Path: Received: from steveawodeysair.home (pool-74-98-210-201.pitbpa.fios.verizon.net. [74.98.210.201]) by smtp.gmail.com with ESMTPSA id q128sm10996306qkb.48.2018.01.31.10.35.06 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 31 Jan 2018 10:35:06 -0800 (PST) From: Steve Awodey Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) Subject: Martin Hofmann rescue fund Message-Id: References: To: Homotopy Type Theory Date: Wed, 31 Jan 2018 13:35:05 -0500 X-Mailer: Apple Mail (2.3445.5.20) https://www.gofundme.com/martinhofmann=E2=80=8B