From 2447d1dca73a095606962f809569cd9411c0b75f Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Mon, 14 Jul 2025 10:38:10 -0400
Subject: [PATCH] Correct posted at time

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

diff --git a/db/posts/9.json b/db/posts/9.json
index aec5e57..c3eebc5 100644
--- a/db/posts/9.json
+++ b/db/posts/9.json
@@ -4,7 +4,7 @@
   "hidden": false,
   "idris": true,
   "ipkg": "/home/nathan/Projects/Blog/projects/Idris/Idris.ipkg",
-  "posted-at": "2025-07-09T12:10:44.129174-04:00",
+  "posted-at": "2025-07-14T10:38:04.628796-04:00",
   "slugs": [
   ],
   "source": "/home/nathan/Projects/Blog/projects/Idris/src/LessMacrosMoreTypes/RowPolymorphism.md",