From 4c5cb418e41ed49dfc720f3478a447851c6e0063 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 24 Feb 2025 09:32:02 -0500 Subject: [PATCH] vault backup: 2025-02-24 09:32:02 --- 3-99 Research/TLA/Untitled.tla | 7 +++++++ 900s Calendars/Personal/Personal - README.md | 1 + 2 files changed, 8 insertions(+) diff --git a/3-99 Research/TLA/Untitled.tla b/3-99 Research/TLA/Untitled.tla index a86c48372..364df6650 100644 --- a/3-99 Research/TLA/Untitled.tla +++ b/3-99 Research/TLA/Untitled.tla @@ -1,5 +1,12 @@ ------------------------------ MODULE Untitled ------------------------------ +EXTENDS Naturals +VARIABLE x + +Init == x = 0 +Next == x' = x + 1 + +Spec == Init /\ [][Next]_x ============================================================================= \* Modification History diff --git a/900s Calendars/Personal/Personal - README.md b/900s Calendars/Personal/Personal - README.md index 92903858a..d9c8c93a0 100644 --- a/900s Calendars/Personal/Personal - README.md +++ b/900s Calendars/Personal/Personal - README.md @@ -3,6 +3,7 @@ ## Files - [[2025-02-21 Gym.md]] - [[2025-02-24 Car Shopping.md]] +- [[2025-02-24 Fixing Neovim bullshit.md]] - [[(Every F) Drive Home.md]] - [[(Every F,W,M) Drive In.md]] - [[(Every F,W,M) Lunch.md]]