Leave note about related conf talk https://www.youtube.com/watch?v=cY…

…enTPD7740
tlaplus · Oct 18, 2024 · f532f0a · f532f0a
1 parent b9975cf
commit f532f0a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/specifications/KnuthYao/README.md b/specifications/KnuthYao/README.md
@@ -0,0 +1 @@
+### A related conference talk from TLA+ Conf 2022 by @vanlightly and @lemmy is at https://www.youtube.com/watch?v=cYenTPD7740.