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