diff options
| author | James Yoo | 2022-10-24 23:49:30 +0000 |
|---|---|---|
| committer | James Yoo | 2022-10-24 23:49:30 +0000 |
| commit | 60d5f5781a05275963543c51389fe46dd0243015 (patch) | |
| tree | 8ff1b25981d1d1ee0d98f61f3b393bd520907e6b /entries/ionathanch/agda/Fib.agda | |
| parent | 03315f012514bdcc5a4f654056f0103abe11eb83 (diff) | |
Updating people.json
Diffstat (limited to 'entries/ionathanch/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions