aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbraxtonhall2022-10-23 23:24:48 +0000
committerbraxtonhall2022-10-23 23:24:48 +0000
commit70773c25993c9efe2c48f53521367eb7561708e6 (patch)
tree1e282d68ba0f418d52ccff1d960f04a47f1a1a39
parent39b5564d73b4c26adbf4bb0fd8da80478a787d31 (diff)
Add Yanze's Z3 version to the readme
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
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)