diff options
| author | funemy | 2022-10-24 02:26:05 +0000 |
|---|---|---|
| committer | funemy | 2022-10-24 02:26:05 +0000 |
| commit | 08986a7a748a8ae747e076a3807e367f479b3ece (patch) | |
| tree | 2b1dbdaceae95f8292d900d5f57e95ca123e0443 /entries/funemy/agda/fib1.agda | |
| parent | 31aa5baf3cc0935b579ac41b194f46e771443583 (diff) | |
fix
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
0 files changed, 0 insertions, 0 deletions