From c6311da4d192ac420bcefcb3076ba5aebc16aa84 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Wed, 9 Jul 2025 20:03:00 -0400
Subject: [PATCH] Add post source

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

diff --git a/db/posts/9.json b/db/posts/9.json
index 7fd7bb9..aec5e57 100644
--- a/db/posts/9.json
+++ b/db/posts/9.json
@@ -8,6 +8,7 @@
   "slugs": [
   ],
   "source": "/home/nathan/Projects/Blog/projects/Idris/src/LessMacrosMoreTypes/RowPolymorphism.md",
+  "source-code": "https://git.stranger.systems/thatonelutenist/website/src/branch/trunk/projects/Idris/src/LessMacrosMoreTypes/RowPolymorphism.md",
   "special": false,
   "tags": [
     "idris"