diff options
| author | Zack Grannan | 2022-10-24 19:13:14 +0000 |
|---|---|---|
| committer | Zack Grannan | 2022-10-24 19:13:14 +0000 |
| commit | a9e39fa02410b61288208509e038b9e096486702 (patch) | |
| tree | 4e505bf436dd754d814017e279b40a1d49191089 /entries/ionathanch/agda/Fib.agda | |
| parent | 06ad8853e86b5c270f31f6d7b99081323f2f677a (diff) | |
Update designation
Diffstat (limited to 'entries/ionathanch/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions