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

---
 entries/funemy/.gitignore | 1 +
 people.json               | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/entries/funemy/.gitignore b/entries/funemy/.gitignore
index acb903a..3d2fbd5 100644
--- a/entries/funemy/.gitignore
+++ b/entries/funemy/.gitignore
@@ -1,3 +1,4 @@
 .DS_Store
 *.agdai
 *.smt2
+**/.koka/*
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