From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Sat, 30 Sep 2017 21:54:43 -0700 (PDT)
From: "Daniel R. Grayson" <danielrich...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Message-Id: <099725f2-f96b-4d48-9300-1236cff72224@googlegroups.com>
In-Reply-To: <ab74b6db-d7aa-42cc-aa78-87d3c90c998e@googlegroups.com>
References: <ab74b6db-d7aa-42cc-aa78-87d3c90c998e@googlegroups.com>
Subject: Re: Vladimir Voevodsky
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_6370_1535108081.1506833683236"

------=_Part_6370_1535108081.1506833683236
Content-Type: multipart/alternative; 
	boundary="----=_Part_6371_199663607.1506833683236"

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

And there is this:  https://www.ias.edu/news/2017/vladimir-voevodsky

------=_Part_6371_199663607.1506833683236
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">And there is this: =C2=A0https://www.ias.edu/news/2017/vla=
dimir-voevodsky</div>
------=_Part_6371_199663607.1506833683236--

------=_Part_6370_1535108081.1506833683236--