diff options
| author | Tarcisio-Teixeira | 2022-10-25 22:08:03 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-25 22:08:03 +0000 |
| commit | 79f35588f9026e09a7adcef7388f0c613b6ac240 (patch) | |
| tree | 76aec82063ef320a7df67055fb403c5ceac4b989 /entries/funemy/agda/fib1.agda | |
| parent | 4d979b9ca2b5e5733f95edc65fd0adf7c51e2bb3 (diff) | |
Update people.json
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
0 files changed, 0 insertions, 0 deletions