From 51949c9a917385cff9925830a45bd78385930686 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Edvard=20Th=C3=B6rnros?= <edvard.thornros@gmail.com>
Date: Wed, 17 Feb 2021 23:48:32 +0100
Subject: lower the times to something more maintainable

---
 progs/bench/fib.sy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'progs/bench/fib.sy')

diff --git a/progs/bench/fib.sy b/progs/bench/fib.sy
index a6504bf..bd1aaa4 100644
--- a/progs/bench/fib.sy
+++ b/progs/bench/fib.sy
@@ -7,4 +7,4 @@ fib :: fn a:int -> int {
     ret fib(a - 1) + fib(a - 2)
 }
 // 23 is around where things start getting slow.
-fib(28) <=> 317811
+fib(23) <=> 28657
-- 
cgit v1.2.1