diff options
| author | gonzalezf | 2022-10-25 03:20:01 +0000 |
|---|---|---|
| committer | gonzalezf | 2022-10-25 03:20:01 +0000 |
| commit | f3f3251828e61af45888fb2b5316eaa534aa9b67 (patch) | |
| tree | 9d3c43d18944ba419dceb0b90ecbab710b7c94dc /entries/funemy/agda/fib1.agda | |
| parent | f8350ce16a8b195f5b886299f0a10e2ade39d327 (diff) | |
people.json fixed
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
0 files changed, 0 insertions, 0 deletions