diff options
| author | braxtonhall | 2022-10-23 23:28:11 +0000 |
|---|---|---|
| committer | braxtonhall | 2022-10-23 23:28:11 +0000 |
| commit | 8c3619fcb5e01b14eeab69bfa8c88cd75ed16ac9 (patch) | |
| tree | 78fb3f42db412aa38c23184ddac133c09478d885 | |
| parent | 3e7fc904482f049e5ce549b555b96ea0ef151f71 (diff) | |
Make Jon's work/description consistent with everyone else
| -rw-r--r-- | README.md | 3 | ||||
| -rw-r--r-- | entries/ionathanch/agda/Fib.agda (renamed from entries/ionchy/agda/Fib.agda) | 0 |
2 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 --> +### [`ionathanch`](https://github.com/ionathanch) +- [`agda`](./entries/ionathanch/agda/Fib.agda) + ### [`funemy`](https://github.com/funemy) - [`agda`](./entries/funemy/agda/fib1.agda) - [`z3`](./entries/funemy/z3/z3fib.sh) diff --git a/entries/ionchy/agda/Fib.agda b/entries/ionathanch/agda/Fib.agda index a12b0a5..a12b0a5 100644 --- a/entries/ionchy/agda/Fib.agda +++ b/entries/ionathanch/agda/Fib.agda |