From 63ca0df679abbe9f701ff9fa37c40a5ba6c73ac0 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Sat, 5 Jul 2025 23:57:24 -0400
Subject: [PATCH] Timing update

---
 db/posts/8.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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",