From mboxrd@z Thu Jan  1 00:00:00 1970
X-Received: by 2002:a6b:264d:: with SMTP id m74-v6mr541827iom.83.1524814796632;
        Fri, 27 Apr 2018 00:39:56 -0700 (PDT)
X-BeenThere: homotopytypetheory@googlegroups.com
Received: by 2002:a6b:a4c1:: with SMTP id d62-v6ls177571ioj.2.gmail; Fri, 27
 Apr 2018 00:39:55 -0700 (PDT)
X-Received: by 2002:a6b:ce9:: with SMTP id 102-v6mr559366iom.134.1524814795762;
        Fri, 27 Apr 2018 00:39:55 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1524814795; cv=none;
        d=google.com; s=arc-20160816;
        b=YL7VcLXEtAY1e49SZgVIpXmWDmJRe9B1Mib/2TA8bkZk1iUUlYa+AnOTKVbMbKW8La
         Nj8E6tsTMjuTJmK1UsDgZZeOT1FMSr3RpSw6KEkoO3nt60tZaKx3GuHmYa12laHChxvG
         oiSmTWClMm2SUa/xsL1jD/CLWjqUxSIHebSy2681n41RQYXDDqqMh89mtRQt2JTtyF3y
         4aFtj761jO5fr18NxuLVQJi5kMgHD7lSGNlyqDVbFaguO841og0MrpceCSoZyJCnjiY/
         D+9ygVfsu+6UwUBMOKeWwg0wnJt4BR8TUOPy9Sr+yzMXTNwJRR8G7NDLFjer0cKlKCra
         YQuQ==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=cc:to:subject:message-id:date:from:references:in-reply-to
         :mime-version:dkim-signature:arc-authentication-results;
        bh=AfpBA7E0CXB+AKtlDkdkD+qsBSuXbBWTXjtwpXn5VBE=;
        b=pZ+/2aHw7YBKCbf9F/A6dB94wXdj6VT/Zr/UmB1n0NksxTRvyonau0k5ACSeB8NgsB
         CzJQ+DcENLIBRnioJPMwB51ODy+HUhW01bRWSsHLriS441hsSYNOXULM+dQHJ7Nr82iX
         wbJhhSdPLqHnluKJ038XbFVonU1LnqNYcprltb/OsTfEoI4VIv99E6RjuyDQQt/iz5Wn
         Wj638BJlwXyli4XkWzRp+tAJWTaewAgAvHx0E/ILVOhNqjdfJQj7NgPzBhilE3DspgC8
         OSjhbrPkEuOzWOQfg7XoStbo1IOtT9YSQ4A9uaxo2zndAGtlMqXTOgeZGdugZye/WI6w
         yLEA==
ARC-Authentication-Results: i=1; gmr-mx.google.com;
       dkim=pass head...@andrej-com.20150623.gappssmtp.com header.s=20150623 header.b=BsoyUx+D;
       spf=neutral (google.com: 2607:f8b0:4001:c06::22e is neither permitted nor denied by best guess record for domain of andrej...@andrej.com) smtp.mailfrom=andrej...@andrej.com
Return-Path: <andrej...@andrej.com>
Received: from mail-io0-x22e.google.com (mail-io0-x22e.google.com. [2607:f8b0:4001:c06::22e])
        by gmr-mx.google.com with ESMTPS id b123-v6si26704iti.0.2018.04.27.00.39.55
        for <HomotopyT...@googlegroups.com>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Fri, 27 Apr 2018 00:39:55 -0700 (PDT)
Received-SPF: neutral (google.com: 2607:f8b0:4001:c06::22e is neither permitted nor denied by best guess record for domain of andrej...@andrej.com) client-ip=2607:f8b0:4001:c06::22e;
Authentication-Results: gmr-mx.google.com;
       dkim=pass head...@andrej-com.20150623.gappssmtp.com header.s=20150623 header.b=BsoyUx+D;
       spf=neutral (google.com: 2607:f8b0:4001:c06::22e is neither permitted nor denied by best guess record for domain of andrej...@andrej.com) smtp.mailfrom=andrej...@andrej.com
Received: by mail-io0-x22e.google.com with SMTP id z4-v6so1451867iof.5
        for <HomotopyT...@googlegroups.com>; Fri, 27 Apr 2018 00:39:55 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=andrej-com.20150623.gappssmtp.com; s=20150623;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc;
        bh=AfpBA7E0CXB+AKtlDkdkD+qsBSuXbBWTXjtwpXn5VBE=;
        b=BsoyUx+DcUvU9Oou39QB4jdN21kP6eV9zuxyNnHxhZPuADWfo6JRtFq2UIZWWNNEjE
         1F9944NHUUC09HAyb59QnC5UqxpQBV+9yi+93CQH8wRTLcONHSQ73SYxSyr8UtaR7yHI
         xuk1bYhEZ/9r1Bq6sPP5zHq9ozGjJLGGzmDfBLxHd/t+9SwfREBl78fE0ZRQpLJD++VI
         dPgS1/uKNfu4f6q5frhPYJ++0ahti1wlIhJzyoFij/nfWMRINYaDW8eUTVXBqe18Q2SP
         iof1Kiv2u74mFnHocmKYnpofVN2wb3WW19f/yQBYSF8IJnDLG9U3HgF7SHgrHXiBXTbj
         t71w==
X-Gm-Message-State: ALQs6tCYLKZ5wgMZEsx4fRs85mK+OuB6hJsPgW0EhBKnObqUmNg26NHd
	inLbwvcxt1ljCrUDaRf8K/e5F4E2yIaE+uQr0+nDCw==
X-Received: by 2002:a6b:3a1:: with SMTP id e33-v6mr1178406ioi.51.1524814795567;
 Fri, 27 Apr 2018 00:39:55 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.192.174.7 with HTTP; Fri, 27 Apr 2018 00:39:55 -0700 (PDT)
X-Originating-IP: [192.76.146.51]
In-Reply-To: <CAAhSxopAxE-zEiB5e=-JR7u05OVop4aNirt4C8DNGVUYbLhw7w@mail.gmail.com>
References: <CAAhSxopAxE-zEiB5e=-JR7u05OVop4aNirt4C8DNGVUYbLhw7w@mail.gmail.com>
From: Andrej Bauer <andrej...@andrej.com>
Date: Fri, 27 Apr 2018 09:39:55 +0200
Message-ID: <CAB0nkh08beeDE88niSMAZOxU3sb8sH346UYa8OnMvZ3YtZUebg@mail.gmail.com>
Subject: =?UTF-8?B?UmU6IFtIb1RUXSBNYXJ0aW4tTMO2ZiAnODY=?=
To: Colin Zwanziger <zwanz...@gmail.com>
Cc: "HomotopyT...@googlegroups.com" <HomotopyT...@googlegroups.com>
Content-Type: multipart/alternative; boundary="0000000000003d07e7056acf9cd8"

--0000000000003d07e7056acf9cd8
Content-Type: text/plain; charset="UTF-8"

Alas, it's not listed at https://github.com/michaelt/martin-lof (which is
otherwise a useful resource to be aware of).

With kind regards,

Andrej

--0000000000003d07e7056acf9cd8
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Alas, it&#39;s not listed at=C2=A0<a href=3D"https://githu=
b.com/michaelt/martin-lof">https://github.com/michaelt/martin-lof</a> (whic=
h is otherwise a useful resource to be aware of).<div><br></div><div>With k=
ind regards,</div><div><br></div><div>Andrej</div><div><br></div></div>

--0000000000003d07e7056acf9cd8--