Update index.md

the-au-forml-lab · Sep 26, 2024 · 5e4fb7f · 5e4fb7f
1 parent 13fa4c5
commit 5e4fb7f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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                                                    |