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"