diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 576919a..de40113 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -4,24 +4,37 @@
     "type": "split",
     "children": [
       {
-        "id": "50a1c48b63677fa6",
+        "id": "90426974024a86f9",
         "type": "tabs",
         "children": [
           {
-            "id": "96f5fe23af86a273",
+            "id": "fcc28e70ad8acbd2",
             "type": "leaf",
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Fundamentals of Electronics/Introductory Lecture.md",
+                "file": "Functional Programming/Proofs.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "Introductory Lecture"
+              "title": "Proofs"
+            }
+          },
+          {
+            "id": "fa8eda04016ee44c",
+            "type": "leaf",
+            "state": {
+              "type": "release-notes",
+              "state": {
+                "currentVersion": "1.8.4"
+              },
+              "icon": "lucide-book-up",
+              "title": "Release Notes 1.8.4"
             }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -199,61 +212,61 @@
       "omnisearch:Omnisearch": false
     }
   },
-  "active": "96f5fe23af86a273",
+  "active": "fa8eda04016ee44c",
   "lastOpenFiles": [
+    "Operating Systems/assets/image.png",
+    "Operating Systems/assets/Pasted image 20250204103541.png",
+    "Operating Systems/assets",
+    "Operating Systems/Introductory lecture.md",
+    "Operating Systems",
+    "Introduction to Machine Learning/assets/image.png",
+    "Introduction to Machine Learning/image.png",
+    "Introduction to Machine Learning/assets",
     "Introduction to Machine Learning/Introductory lecture.md",
+    "Introduction to Machine Learning",
     "Fundamentals of Electronics/Introductory Lecture.md",
     "Fundamentals of Electronics",
-    "Pasted image 20250113151159.png",
-    "Advanced Algorithms/Graph Algorithms.md",
-    "Advanced Algorithms/Graphs.md",
-    "Introduction to Machine Learning/image.png",
-    "Extracurricular/Circuitree/Committee Market/Macro pad.md",
-    "Extracurricular/Circuitree/Committee Market/discussion/Committee market ideas.md",
-    "Extracurricular/Circuitree/Committee Market/discussion/CA.md",
-    "Extracurricular/Misc/Plan.md",
-    "Extracurricular/Misc/Proposed Routine Plan.canvas",
-    "Extracurricular/Misc/Ideas.md",
     "Functional Programming/Eq and Num.md",
+    "Extracurricular/Circuitree/Committee Market/Macro pad.md",
+    "Functional Programming/Recursion.md",
+    "Functional Programming/Lists.md",
+    "Functional Programming/Polymorphism.md",
     "Functional Programming/Proofs.md",
-    "Operating Systems/Introductory lecture.md",
-    "Discrete Structures/Relations and Digraphs.md",
-    "Operating Systems/assets/Pasted image 20250204103541.png",
-    "Software Engineering/Introductory Lecture.md",
-    "Discrete Structures/Recurrence relations.md",
-    "Discrete Structures/Mathematical Proofs (Induction).md",
+    "Functional Programming/Introduction to Functional Programming.md",
+    "Discrete Structures/Midterm/Midterm prep.md",
     "Discrete Structures/Counting.md",
-    "Introduction to Machine Learning",
-    "Operating Systems/assets/image.png",
-    "Operating Systems/image.png",
-    "Operating Systems/assets",
-    "conflict-files-obsidian-git.md",
-    "Statistics and Probability/Mock exam run 1.md",
-    "Operating Systems",
-    "Statistics and Probability/Support Lecture.md",
-    "Software Engineering",
+    "Discrete Structures/Mathematical Data Structures.md",
+    "Discrete Structures/Mathematical Proofs (Induction).md",
+    "Functional Programming/assets/Pasted image 20241125164049.png",
+    "Functional Programming/Basic Haskell.md",
     "Functional Programming/Drawing 2024-12-24 17.52.22.excalidraw.md",
-    "Extracurricular/satQuest/Meeting Dec 18.md",
+    "Untitled.md",
+    "Statistics and Probability/Mock exam run 1.md",
+    "Statistics and Probability/Intro to probability.md",
+    "Statistics and Probability/Data.md",
+    "conflict-files-obsidian-git.md",
+    "Discrete Structures/Recurrence relations.md",
+    "Statistics and Probability/Support Lecture.md",
+    "Pasted image 20250113151159.png",
     "Extracurricular/satQuest/img/Pasted image 20241218122110.png",
-    "Excalidraw/Drawing 2024-12-11 23.27.51.excalidraw.md",
-    "Discrete Structures/Midterm/attempt 2.md",
-    "Discrete Structures/Midterm/attempt 1.md",
-    "Discrete Structures/Midterm/Untitled.md",
-    "Discrete Structures/Midterm",
-    "Extracurricular/satQuest/img/Pasted image 20241206134156.png",
-    "Untitled.canvas",
-    "Advanced Algorithms/Pasted image 20241203234600.png",
-    "Excalidraw",
     "Extracurricular/satQuest/img/Pasted image 20241206134213.png",
     "Extracurricular/satQuest/img/Pasted image 20241206134207.png",
+    "Extracurricular/satQuest/img/Pasted image 20241206134156.png",
+    "Extracurricular/satQuest/img/Pasted image 20241206133007.png",
     "Extracurricular/satQuest/img",
-    "Advanced Algorithms/assets/pnp",
-    "Advanced Algorithms/assets/graph",
+    "Extracurricular/satQuest/Parts Proposal.md",
+    "Extracurricular/satQuest/Meeting Dec 18.md",
+    "Extracurricular/satQuest",
+    "Discrete Structures/Midterm",
+    "Untitled.canvas",
+    "Excalidraw",
+    "Extracurricular/CANSAT/img",
     "Web Engineering/canvae/server_client.canvas",
     "Advanced Programming/projects/second/Refactoring.canvas",
     "Advanced Programming/assets/assignment/assignment_organization.canvas",
     "Advanced Programming/assets/spring/Beans.canvas",
     "Advanced Programming/assets/assignment/assignment_app.canvas",
+    "Extracurricular/Misc/Proposed Routine Plan.canvas",
     "Extracurricular/Circuitree/Committee Market/discussion/Proposed showcase infra.canvas"
   ]
 }
\ No newline at end of file