diff options
| author | braxtonhall | 2022-10-24 22:14:18 +0000 |
|---|---|---|
| committer | braxtonhall | 2022-10-24 22:14:18 +0000 |
| commit | 8ffac10bf733f5f75bf85750562710c1cd60cf0a (patch) | |
| tree | 7dd14589bf361ffb6cd3f2224bd0cb16b332a9a9 /entries/ionathanch/agda/Fib.agda | |
| parent | 89bd4035db8c9979b1f3c76a9aee951204f3ef59 (diff) | |
Add Ron
Diffstat (limited to 'entries/ionathanch/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions