From dbc59e338fa296efbc311ba3899994dfbee28225 Mon Sep 17 00:00:00 2001
From: funemy
Date: Tue, 25 Oct 2022 00:18:10 -0700
Subject: people.json

---
 people.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/people.json b/people.json
index e8089f6..bf10f10 100644
--- a/people.json
+++ b/people.json
@@ -68,6 +68,10 @@
             {
                 "name": "z3",
                 "link": "./entries/funemy/z3/z3fib.sh"
+            },
+            {
+                "name": "symbolic",
+                "link": "./entries/funemy/symbolic/phib.py"
             }
         ]
     },
-- 
cgit v1.2.3-70-g09d2