vault backup: 2025-02-20 17:45:05

3-99 Research/Haskell/Learning Plan.md

@@ -1,7 +1,7 @@
 https://learnyouahaskell.github.io/chapters.html
 - [x] Chapter 1: Introduction #Haskell ⏳ 2025-02-18 📅 2025-02-12 ✅ 2025-02-19
-- [/] Chapter 2: Starting Out #Haskell ⏳ 2025-02-25 📅 2025-02-19
-- [ ] Chapter 3: Types and Typeclasses #Haskell 📅 2025-02-26 ⏳ 2025-03-04
+- [/] Chapter 2: Starting Out #Haskell ⏳ 2025-02-19 📅 2025-02-25
+- [ ] Chapter 3: Types and Typeclasses #Haskell ⏳ 2025-02-26 📅 2025-03-04
 - [ ] Chapter 4: Syntax in Functions #Haskell 📅 2025-03-05 ⏳ 2025-03-11
 - [ ] Chapter 5: Recursion #Haskell 📅 2025-03-12 ⏳ 2025-03-18
 - [ ] Chapter 6: Higher Order Functions #Haskell 📅 2025-03-19 ⏳ 2025-03-25

3-99 Research/Rust/Learning Plan.md

@@ -1,6 +1,6 @@
 - [x] Chapter 1: Getting Started #Rust ⏳ 2025-02-17 📅 2025-02-11 ✅ 2025-02-17
-- [ ] Chapter 2: Programming a Guessing Game #Rust 📅 2025-02-18 ⏳ 2025-02-24
-- [ ] Chapter 3: Common Programming Concepts #Rust 📅 2025-02-25 ⏳ 2025-03-03
+- [ ] Chapter 2: Programming a Guessing Game #Rust ⏳ 2025-02-18 📅 2025-02-24
+- [ ] Chapter 3: Common Programming Concepts #Rust ⏳ 2025-02-25 📅 2025-03-03
 - [ ] Chapter 4: Understanding Ownership #Rust 📅 2025-03-04 ⏳ 2025-03-10
 - [ ] Chapter 5: Using Structs to Structure Related Data #Rust 📅 2025-03-11 ⏳ 2025-03-17
 - [ ] Chapter 6: Enums and Pattern Matching #Rust 📅 2025-03-18 ⏳ 2025-03-24

900s Calendars/Research/2025-02-21 LEAN.md

@@ -0,0 +1,8 @@
+---
+title: LEAN
+allDay: false
+startTime: 16:00
+endTime: 17:00
+date: 2025-02-21
+completed: null
+---