diff options
| author | braxtonhall | 2022-10-23 22:38:10 +0000 |
|---|---|---|
| committer | braxtonhall | 2022-10-23 22:38:10 +0000 |
| commit | 385da8c703b20638134b1c838c3f9a8b7cf5937e (patch) | |
| tree | 1da725fc701f738bfe544917f80176dec5e797bc | |
| parent | 1826be830f52e2a01e853a5f68d230c606baf294 (diff) | |
Describe Yanze's contribution in the README
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -15,6 +15,9 @@ For a submission to the upcoming "Reclaim your space" exhibition at [Hatch Art G <!-- - `smt` compiles to SMT, and the solver gives you the fib sequence --> <!-- - `imperitive-church` imperitive implementation in the lambda calculus --> +### [`funemy`](https://github.com/funemy) +- [`agda`](./entries/funemy/agda/fib1.agda) + ### [`jyoo980`](https://github.com/jyoo980) - [`scala`](./entries/jyoo980/scala/Fib.scala) |