diff --git a/db/posts/8.json b/db/posts/8.json
index c3223fc..bf17e65 100644
--- a/db/posts/8.json
+++ b/db/posts/8.json
@@ -4,7 +4,7 @@
   "hidden": false,
   "idris": true,
   "ipkg": "/home/nathan/Projects/Blog/projects/Idris/Idris.ipkg",
-  "posted-at": "2025-07-05T22:48:03.372522-04:00",
+  "posted-at": "2025-07-05T23:57:20.420868-04:00",
   "slugs": [
   ],
   "source": "/home/nathan/Projects/Blog/projects/Idris/src/TipsAndTricks/ProofSearchAndNonEquality.md",