Skip to content

Commit f532f0a

Browse files
authored
Leave note about related conf talk https://www.youtube.com/watch?v=cYenTPD7740
1 parent b9975cf commit f532f0a

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

specifications/KnuthYao/README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
### A related conference talk from TLA+ Conf 2022 by @vanlightly and @lemmy is at https://www.youtube.com/watch?v=cYenTPD7740.

0 commit comments

Comments
 (0)