From cbe14d202b37b479c46fcdab552233e375d72e9a Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 17 Feb 2025 09:45:51 -0500 Subject: [PATCH] vault backup: 2025-02-17 09:45:51 --- 3-99 Research/3-99 Research - README.md | 3 ++- 3-99 Research/Assembly/Assembly - README.md | 4 ++-- 3-99 Research/Haskell/Haskell - README.md | 4 ++-- 3-99 Research/LEAN/LEAN - README.md | 7 +++++++ 3-99 Research/Rust/Rust - README.md | 4 ++-- 3-99 Research/TLA/TLA - README.md | 4 ++-- 5 Thesis/1 Ideas/1 Ideas - README.md | 4 ++-- 7 files changed, 19 insertions(+), 11 deletions(-) create mode 100644 3-99 Research/LEAN/LEAN - README.md diff --git a/3-99 Research/3-99 Research - README.md b/3-99 Research/3-99 Research - README.md index a96d8f40d..68a780fb6 100644 --- a/3-99 Research/3-99 Research - README.md +++ b/3-99 Research/3-99 Research - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-14 +Generated by ChatGPT on 2025-02-17 # Table of Contents for 3-99 Research @@ -11,6 +11,7 @@ Generated by ChatGPT on 2025-02-14 - [[99 Getting Used to Obsidian/99 Getting Used to Obsidian - README]] - [[Assembly/Assembly - README]] - [[Haskell/Haskell - README]] +- [[LEAN/LEAN - README]] - [[Rust/Rust - README]] - [[TLA/TLA - README]] diff --git a/3-99 Research/Assembly/Assembly - README.md b/3-99 Research/Assembly/Assembly - README.md index ee572256e..8fb414c7f 100644 --- a/3-99 Research/Assembly/Assembly - README.md +++ b/3-99 Research/Assembly/Assembly - README.md @@ -1,8 +1,8 @@ -Generated by ChatGPT on 2025-02-14 +Generated by ChatGPT on 2025-02-17 # Table of Contents for Assembly ## Files - [[Assembly Canvas.canvas]] -- [[3-99 Research/Assembly/Untitled]] +- [[Untitled.md]] diff --git a/3-99 Research/Haskell/Haskell - README.md b/3-99 Research/Haskell/Haskell - README.md index 1f6dc4b41..080814d7b 100644 --- a/3-99 Research/Haskell/Haskell - README.md +++ b/3-99 Research/Haskell/Haskell - README.md @@ -1,7 +1,7 @@ -Generated by ChatGPT on 2025-02-12 +Generated by ChatGPT on 2025-02-17 # Table of Contents for Haskell ## Files -- [[3-99 Research/Haskell/Learning Plan]] +- [[Learning Plan.md]] diff --git a/3-99 Research/LEAN/LEAN - README.md b/3-99 Research/LEAN/LEAN - README.md new file mode 100644 index 000000000..a2aa1d6b4 --- /dev/null +++ b/3-99 Research/LEAN/LEAN - README.md @@ -0,0 +1,7 @@ +Generated by ChatGPT on 2025-02-17 + +# Table of Contents for LEAN + +## Files +- [[Learning Plan.md]] + diff --git a/3-99 Research/Rust/Rust - README.md b/3-99 Research/Rust/Rust - README.md index 2b01face4..dadaa9b78 100644 --- a/3-99 Research/Rust/Rust - README.md +++ b/3-99 Research/Rust/Rust - README.md @@ -1,7 +1,7 @@ -Generated by ChatGPT on 2025-02-12 +Generated by ChatGPT on 2025-02-17 # Table of Contents for Rust ## Files -- [[3-99 Research/Rust/Learning Plan]] +- [[Learning Plan.md]] diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md index b04b74cd0..00945e08e 100644 --- a/3-99 Research/TLA/TLA - README.md +++ b/3-99 Research/TLA/TLA - README.md @@ -1,10 +1,10 @@ -Generated by ChatGPT on 2025-02-14 +Generated by ChatGPT on 2025-02-17 # Table of Contents for TLA ## Files - [[TLA Canvas.canvas]] -- [[3-99 Research/TLA/Untitled]] +- [[Untitled.md]] - [[What is TLA?.md]] - [[What the hell is liveness?.md]] diff --git a/5 Thesis/1 Ideas/1 Ideas - README.md b/5 Thesis/1 Ideas/1 Ideas - README.md index a71778e00..f44663bf4 100644 --- a/5 Thesis/1 Ideas/1 Ideas - README.md +++ b/5 Thesis/1 Ideas/1 Ideas - README.md @@ -1,7 +1,7 @@ -Generated by ChatGPT on 2025-02-12 +Generated by ChatGPT on 2025-02-17 # Table of Contents for 1 Ideas ## Files -- [[5 Thesis/1 Ideas/Untitled]] +- [[Untitled.md]]