diff options
Diffstat (limited to 'entries')
| -rw-r--r-- | entries/ionathanch/agda/Fib.agda (renamed from entries/ionchy/agda/Fib.agda) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/entries/ionchy/agda/Fib.agda b/entries/ionathanch/agda/Fib.agda index a12b0a5..a12b0a5 100644 --- a/entries/ionchy/agda/Fib.agda +++ b/entries/ionathanch/agda/Fib.agda |