diff options
| author | cc-21 | 2022-10-30 04:51:57 +0000 |
|---|---|---|
| committer | cc-21 | 2022-10-30 04:51:57 +0000 |
| commit | 5600e28c47e4e6672c8e93a35aec0957236e1356 (patch) | |
| tree | f811bcb62bdc02eb8683e872e5aca30561b52807 /entries/ionathanch/agda/Fib.agda | |
| parent | 59b31b060d7afffea217a65885bc89ba91b8a933 (diff) | |
Add a buggy implementation
Diffstat (limited to 'entries/ionathanch/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions