diff options
| author | Aymen Dirar | 2022-10-23 23:07:58 +0000 |
|---|---|---|
| committer | Aymen Dirar | 2022-10-23 23:07:58 +0000 |
| commit | 7e1694ced1cfce43f79cb4641781d91ebcc15e90 (patch) | |
| tree | e734d300253bcd2ad2a0d64ce13c7432b0bbba91 /entries/funemy/agda/fib1.agda | |
| parent | bdd284352a0cff33cff2fdc88b154301b63b2306 (diff) | |
indent comment
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
0 files changed, 0 insertions, 0 deletions