From 83a98e62371e3e2f1bedf259c7cd8212db69977b Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Sat, 5 Jul 2025 23:54:55 -0400
Subject: [PATCH] Update soruce link

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

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