diff options
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
| -rw-r--r-- | entries/funemy/agda/fib1.agda | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/entries/funemy/agda/fib1.agda b/entries/funemy/agda/fib1.agda index 9e7f82a..d8931a0 100644 --- a/entries/funemy/agda/fib1.agda +++ b/entries/funemy/agda/fib1.agda @@ -32,5 +32,3 @@ fib2 = refl fib8 : fib 8 ≡ 21 fib8 = refl - - |