From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 29932 invoked from network); 17 Mar 2022 16:14:12 -0000 Received: from mail-yw1-x1139.google.com (2607:f8b0:4864:20::1139) by inbox.vuxu.org with ESMTPUTF8; 17 Mar 2022 16:14:12 -0000 Received: by mail-yw1-x1139.google.com with SMTP id 00721157ae682-2d07ae11467sf48986947b3.12 for ; Thu, 17 Mar 2022 09:14:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=D8FxRBSNUQmEwTi8KfVrCq0Li5bIfBf9tRzJGn+VfH0=; b=DJVqijRZisVAr7KHh7/6HQLHHDiqK/dJmeWidQlPMDmN9DdEuZ33BPumpUWjA1T+Kg ardhEhC1hMVPmcM8BEm3IfJjMBDYNvmBlgA50iPmYCimi8ZpvGx7mt3adN6LcxWNtbpw A7GVmP9TILdvp7KiLGnSWWUdIJ/FJ6/R2iMJPyvMAyfXzIKGUqB29JR/vVUUagHTRtGg lT3qdMG0CcJWJpzgtwvT8XeGo7Z2wj0at5GwP7qrp9R9roZiTpm0kvcDQKSuW3rR08ws 4x02Xm+1ZAFBTVRY50OP0zPSzOB3sDbWxZ71hyy3DOgUxOZnNvqIGVyuS2fxyVOLA5Jw 7Vfg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=D8FxRBSNUQmEwTi8KfVrCq0Li5bIfBf9tRzJGn+VfH0=; b=UR2zaeiuEZR8DjNS1vm22t+ptkjXbf63yDEVXiONkPgxQEVx7yxi81JQ6Lc7g3+miu KASf/LFHKiRKRcKM2pO3lZAEjp3rd66JCX2QixfOEUeF8VOogePx7DOyQmTDwOM3Jklf cGXJQ5ofpZ6JOIRNcY0dgIvwcKTTRRub7KRXRkwHPkpY//PjyEfq5n86MIuJcCHTZdvv kLVe30lddHjvhAAAEEYrCRhFKdzXPadUUZe/OjdSM3KnMiq7zFBWcTBzIPBocfMRWn2f rfBYwshewFQaO2ZB008rnIsV0BZeeUsuog29FkD4y9TIUECKNmyAq/bMg3wkicd7W5U/ tGpQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=D8FxRBSNUQmEwTi8KfVrCq0Li5bIfBf9tRzJGn+VfH0=; b=kTT+FXHe91xriQLffL6RuAWJQf76840idbtQsRaS67yht7L3s6TRJ5RjZ9NA3cbOMd fkSBEP666BLCfReBKZl6cjgd5p+Rny0FF864NEerCkFKqFAnCraZuhtNIP0DRrnXOBRK YLQcxFvuj8dFp+RDY+Y1Kub3x5h8E9zOcON5Mls3Fp3WPwAO7vO4YUb8MaF4qxiPbLJ6 rbyfDkMSawec2lL3ZLLOM0XUm8AXXE9c/eStdg5caa/Xt71HxUgncVG5fPUzwnIVjFWp GyC+/hX9kjnpdnEUii4T2ABAbF8y//elK7LVdeBfb+mAaQy9xCZ4hNajPcDS7xPEoD8m rx7g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532MDB2TxL1Ehy1UB45e4iEt6Ps10bOhr+IStg0oa2Z3ZS6D0q+Y K8Fm5sfB7JeA2IKYJuhCThc= X-Google-Smtp-Source: ABdhPJxtkSvgj6TgYYO41BT/8E1PzGPqjB9SL6Rpte/1dyEi2E8bFd6WNUzEYWDq6gkRNb4ABkm0Sw== X-Received: by 2002:a81:d87:0:b0:2e5:cb2d:ceb4 with SMTP id 129-20020a810d87000000b002e5cb2dceb4mr2121240ywn.39.1647533650867; Thu, 17 Mar 2022 09:14:10 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:50c:0:b0:628:e822:4ec1 with SMTP id 12-20020a25050c000000b00628e8224ec1ls4485230ybf.1.gmail; Thu, 17 Mar 2022 09:14:09 -0700 (PDT) X-Received: by 2002:a25:c00a:0:b0:633:95d3:e2b with SMTP id c10-20020a25c00a000000b0063395d30e2bmr5886472ybf.366.1647533649617; Thu, 17 Mar 2022 09:14:09 -0700 (PDT) Date: Thu, 17 Mar 2022 09:14:08 -0700 (PDT) From: "Daniel R. Grayson" To: Homotopy Type Theory Message-Id: In-Reply-To: <1D1396B6-43A7-40E6-A233-734DDF60439C@cmu.edu> References: <1D1396B6-43A7-40E6-A233-734DDF60439C@cmu.edu> Subject: [HoTT] Re: Yay Andrej! MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_7074_524456020.1647533648849" X-Original-Sender: danielrichardgrayson@gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , ------=_Part_7074_524456020.1647533648849 Content-Type: multipart/alternative; boundary="----=_Part_7075_1260794668.1647533648849" ------=_Part_7075_1260794668.1647533648849 Content-Type: text/plain; charset="UTF-8" Congratulations, Andrej! > -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/ee3a1e21-1eca-4a35-aa33-feb7d394a89bn%40googlegroups.com. ------=_Part_7075_1260794668.1647533648849 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Congratul= ations, Andrej!

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.c= om/d/msgid/HomotopyTypeTheory/ee3a1e21-1eca-4a35-aa33-feb7d394a89bn%40googl= egroups.com.
------=_Part_7075_1260794668.1647533648849-- ------=_Part_7074_524456020.1647533648849--