From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Tue, 21 Jun 2016 18:19:12 -0700 (PDT)
From: "Daniel R. Grayson" <danielrich...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Cc: homotopyt...@googlegroups.com
Message-Id: <e55ae7a6-8fb0-4ea6-85a0-482c89adc2d9@googlegroups.com>
In-Reply-To: <CAFJ3QW+Qio-QFq30pEfoQh7Cwsvf5D2AX_yPtRENAjvBMXCeGw@mail.gmail.com>
References: <CAFJ3QW+Qio-QFq30pEfoQh7Cwsvf5D2AX_yPtRENAjvBMXCeGw@mail.gmail.com>
Subject: Re: PhD thesis: On the homotopy groups of spheres in homotopy type
 theory
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_2757_339745714.1466558352105"

------=_Part_2757_339745714.1466558352105
Content-Type: multipart/alternative; 
	boundary="----=_Part_2758_2092027375.1466558352105"

------=_Part_2758_2092027375.1466558352105
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

Congratulations!


------=_Part_2758_2092027375.1466558352105
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 7bit

<div dir="ltr">Congratulations!<div><br></div></div>
------=_Part_2758_2092027375.1466558352105--

------=_Part_2757_339745714.1466558352105--