From 5e4fb7f30ad8725721670c3b731fbd3a705c8522 Mon Sep 17 00:00:00 2001 From: Neea <2580981+nkrusch@users.noreply.github.com> Date: Thu, 26 Sep 2024 13:19:00 -0400 Subject: [PATCH] Update index.md --- docs/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/index.md b/docs/index.md index 0bca1d0..b8ed67a 100644 --- a/docs/index.md +++ b/docs/index.md @@ -27,7 +27,7 @@ Our tools for paper selection: [plgroup on Github](https://github.com/the-au-for | 2. | September 6 | Simple Reference Immutability for System F <: | | 3. | September 13 | Polymorphic Type Inference for Dynamic Languages | | 4. | September 20 | A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized | -| 5. | September 27 | ⚠️ _meeting cancelled for bad weather_ ⚠️ +| 5. | September 27 | ⚠️ _meeting canceled for bad weather_ ⚠️ | 6. | October 4 | Fat Pointers for Temporal Memory Safety of C | | 7. | October 11 | A Pretty Expressive Printer | | 8. | October 18 | Paper 8 discussion |