From bf032c8957d0997ebacb2bd5f04a0f5cd44f27c1 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 24 Feb 2025 09:49:51 -0500 Subject: [PATCH] vault backup: 2025-02-24 09:49:51 --- 3-99 Research/TLA/TLA - README.md | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md index 73b618b1a..2625278eb 100644 --- a/3-99 Research/TLA/TLA - README.md +++ b/3-99 Research/TLA/TLA - README.md @@ -1,15 +1,9 @@ # Table of Contents for TLA -## Subdirectories -- [[states/states - README]] -- [[Untitled.toolbox/Untitled.toolbox - README]] - ## Files -- [[Test.cfg]] -- [[Test.tla]] - [[TLA Canvas.canvas]] +- [[TLA+ Learning Plan.md]] - [[Untitled.md]] -- [[Untitled.tla]] - [[What is TLA?.md]] - [[What the hell is liveness?.md]]