From c90885ea4f7db5fd22b7c6ec2450750fc409dad7 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 12 Mar 2025 10:16:58 -0400 Subject: [PATCH] vault backup: 2025-03-12 10:16:58 --- 900s Calendars/Research/Research - README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/900s Calendars/Research/Research - README.md b/900s Calendars/Research/Research - README.md index bab1d0d4c..807d7d248 100644 --- a/900s Calendars/Research/Research - README.md +++ b/900s Calendars/Research/Research - README.md @@ -10,11 +10,12 @@ - [[2025-02-26 BoardTalk with Robert.md]] - [[2025-02-28 TLA+ Proof.md]] - [[2025-03-07 Finish thesis update and weekly summary.md]] -- [[2025-03-13 Haskell Chapter 3]] -- [[2025-03-13 LEAN Addition World]] -- [[2025-03-13 Rust Chapter 3 Common Programming Concepts]] - [[2025-03-11 More Cole Group.md]] - [[2025-03-11 Write weekly update.md]] +- [[2025-03-12 Coffee Yak and Research Talk with Robert.md]] +- [[2025-03-13 Haskell Chapter 3.md]] +- [[2025-03-13 LEAN Addition World.md]] +- [[2025-03-13 Rust Chapter 3 Common Programming Concepts.md]] ## Summary