From a92d2f2a96c36e758291d7150b4ff175ec2ec768 Mon Sep 17 00:00:00 2001
From: funemy
Date: Tue, 25 Oct 2022 16:10:58 -0700
Subject: minor

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

(limited to 'people.json')

diff --git a/people.json b/people.json
index a9be376..c2db098 100644
--- a/people.json
+++ b/people.json
@@ -87,6 +87,10 @@
             {
                 "name": "symbolic",
                 "link": "./entries/funemy/symbolic/phib.py"
+            },
+            {
+                "name": "koka",
+                "link": "./entries/funemy/koka/fib.kk"
             }
         ]
     },
-- 
cgit v1.2.3-70-g09d2