From cda243a41b13626f72ceaaa99901c402b9797dc7 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 29 Jul 2017 00:17:28 +0200
Subject: Cleanup; add <> < > <= >=

---
 examples/fastfib.sil | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

(limited to 'examples/fastfib.sil')

diff --git a/examples/fastfib.sil b/examples/fastfib.sil
index a4e3a9a..e36c39d 100644
--- a/examples/fastfib.sil
+++ b/examples/fastfib.sil
@@ -24,18 +24,8 @@ Int get([Int] xs, Int i) {
 	}
 }
 
-Bool gt(Int x, Int y) {
-	if (x == 0) {
-		return False;
-	} else if (y == 0) {
-		return True;
-	} else {
-		return gt(x-1, y-1);
-	}
-}
-
 Int fib(Int n) {
-	if (gt(length(fibs), n - 1)) {
+	if (length(fibs) >= n) {
 		return get(fibs, n - 1);
 	} else {
 		Int fn := fib(n-1) + fib(n-2);
-- 
cgit v1.2.3