From 4e8eb31f5e0bfffb3d67cfad7e5e970d8eef7e19 Mon Sep 17 00:00:00 2001 From: Jonas Frey Date: Fri, 18 Aug 2023 17:05:43 -0400 Subject: [PATCH] update --- index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.md b/index.md index 650b3e6..662fee3 100644 --- a/index.md +++ b/index.md @@ -5,7 +5,7 @@ title: "Homotopy Type Theory 2023" --- The Second International **Conference on [Homotopy Type -Theory](https://homotopytypetheory.org)** (HoTT 2023) will take place +Theory](https://homotopytypetheory.org)** (HoTT 2023) took place > **Monday 22nd May to Thursday 25th May**