diff options
| author | Tarcisio-Teixeira | 2022-10-23 23:48:02 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-23 23:48:02 +0000 |
| commit | 97d0bca7470bef068b5852a94c5e51c103b0400c (patch) | |
| tree | 4688faf432ea9a31d5717e2f11002a07ba6d9fba /entries/funemy/agda/fib1.agda | |
| parent | 668e1a0266a0c59a0e420571dbbcb445e72361ae (diff) | |
Create fib.py
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
0 files changed, 0 insertions, 0 deletions