diff options
| author | braxtonhall | 2022-11-14 00:40:05 +0000 |
|---|---|---|
| committer | braxtonhall | 2022-11-14 00:40:05 +0000 |
| commit | 1dfe04fc387b8d42a5d32651c21449ef3abfd4f6 (patch) | |
| tree | c84b638613a40e4798f12561251e9d1a2c1ed451 /entries/funemy/agda/fib1.agda | |
| parent | f8115739b6ed7c64bbfb7fcfb9d7c76812d0dbd4 (diff) | |
Add Sai
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
0 files changed, 0 insertions, 0 deletions