diff options
| author | braxtonhall | 2022-10-31 04:37:12 +0000 |
|---|---|---|
| committer | braxtonhall | 2022-10-31 04:37:12 +0000 |
| commit | 0a253af87970fc92f954af1443cf5e9525e96600 (patch) | |
| tree | 6c0a9753abf7491ebad9456633fc0d4f3696f30c /entries/ionchy/agda/Fib.agda | |
| parent | 25afac0b0b226d5b06b392047a9a914ab968c6a8 (diff) | |
Add Joel
Diffstat (limited to 'entries/ionchy/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions