aboutsummaryrefslogtreecommitdiff
path: root/entries/funemy/agda/fib1.agda
diff options
context:
space:
mode:
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
-rw-r--r--entries/funemy/agda/fib1.agda2
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
-
-