diff options
| author | Braxton Hall | 2022-10-23 23:26:32 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-23 23:26:32 +0000 |
| commit | 3e7fc904482f049e5ce549b555b96ea0ef151f71 (patch) | |
| tree | 3858ab626796592c25c5c422c9f115acec67cc79 /people.json | |
| parent | 70773c25993c9efe2c48f53521367eb7561708e6 (diff) | |
| parent | 760fb3275b2af023d099a8c1e2a143cab41c5c6b (diff) | |
Merge pull request #8 from ionathanch/patch-1
Create Fib.agda
Diffstat (limited to 'people.json')
0 files changed, 0 insertions, 0 deletions