diff options
| author | Braxton Hall | 2023-07-13 18:42:31 +0000 |
|---|---|---|
| committer | GitHub | 2023-07-13 18:42:31 +0000 |
| commit | 531a3496c10c2ee789509f218921d2109354dfe9 (patch) | |
| tree | bfe99e81e91603508be51bcd31f7bbb4d48f6b6f /entries/ionathanch/Fib.agda | |
| parent | 777b3fba70f2253fa2f8f0bd4c9b207b8ce0a11f (diff) | |
| parent | c37b806da507a699624ec4e800522ef4a47ad7bc (diff) | |
Merge pull request #97 from braxtonhall/jj-to-omentic
Diffstat (limited to 'entries/ionathanch/Fib.agda')
0 files changed, 0 insertions, 0 deletions