Adding fibonacci example

jzbor · Apr 4, 2024 · 41edfe6 · 41edfe6
1 parent 23ef832
commit 41edfe6
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/examples/fib.lsh b/examples/fib.lsh
@@ -0,0 +1,18 @@
+@usestd
+@set strategy normal
+@set numerals true
+
+iszero := λn.n (λx. FALSE) TRUE;
+
+fibh := \f x. IFTHENELSE
+		(iszero x)
+		(\f x . x)
+		(IFTHENELSE
+			(iszero (PRED x))
+			(\f x . f x)
+			(ADD (f f (PRED x)) (f f (PRED (PRED x)))));
+fib := fibh fibh;
+
+@echo ""
+@echo "6. Fibonacci number"
+listunsorted := !dbg (!cn (fib $6));