diff options
| author | markusde | 2022-10-29 17:53:46 +0000 |
|---|---|---|
| committer | markusde | 2022-10-29 17:53:46 +0000 |
| commit | e1d04fc5f77d571b30556bbc5a222757f1678325 (patch) | |
| tree | 2aabc54ac1ea344ce58dde69c958144bc34c47f1 /entries/ionathanch/agda/Fib.agda | |
| parent | 0cd335d8d14ec8237d224374351b9115cf629afc (diff) | |
add comma
Diffstat (limited to 'entries/ionathanch/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions