From 70773c25993c9efe2c48f53521367eb7561708e6 Mon Sep 17 00:00:00 2001
From: braxtonhall
Date: Sun, 23 Oct 2022 16:24:48 -0700
Subject: Add Yanze's Z3 version to the readme

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index c56217d..e2c309e 100644
--- a/README.md
+++ b/README.md
@@ -17,6 +17,7 @@ For a submission to the upcoming "Reclaim your space" exhibition at [Hatch Art G
 
 ### [`funemy`](https://github.com/funemy)
 - [`agda`](./entries/funemy/agda/fib1.agda)
+- [`z3`](./entries/funemy/z3/z3fib.sh)
 
 ### [`jyoo980`](https://github.com/jyoo980)
 - [`scala`](./entries/jyoo980/scala/Fib.scala)
-- 
cgit v1.2.3-70-g09d2