diff --git a/fib_let.kp b/fib_let.kp
new file mode 100644
index 0000000..25334cf
--- /dev/null
+++ b/fib_let.kp
@@ -0,0 +1,39 @@
+
+((wrap (vau root_env (quote)
+((wrap (vau (let1)
+(let1 lambda (vau se (p b1) (wrap (eval (array vau p b1) se)))
+(let1 current-env (vau de () de)
+(let1 cons (lambda (h t) (concat (array h) t))
+(let1 Y (lambda (f3)
+    ((lambda (x1) (x1 x1))
+     (lambda (x2) (f3 (lambda (& y) (lapply (x2 x2) y))))))
+(let1 vY (lambda (f)
+    ((lambda (x3) (x3 x3))
+     (lambda (x4) (f (vau de1 (& y) (vapply (x4 x4) y de1))))))
+(let1 let (vY (lambda (recurse) (vau de2 (vs b) (cond (= (len vs) 0) (eval b de2)
+                                                     true           (vapply let1 (array (idx vs 0) (idx vs 1) (array recurse (slice vs 2 -1) b)) de2)))))
+ (let (
+         lcompose (lambda (g f) (lambda (& args) (lapply g (array (lapply f args)))))
+         rec-lambda (vau se (n p b) (eval (array Y (array lambda (array n) (array lambda p b))) se))
+
+         fib (rec-lambda fib (n) (cond (= 0 n)   1
+                                       (= 1 n)   1
+                                       true      (let (
+                                                    fib_minus_1 (fib (- n 1))
+                                                    fib_minus_2 (fib (- n 2))
+                                                    ) (+ fib_minus_1 fib_minus_2))))
+
+         monad  (array 'write  1 "enter number to fact: " (vau (written code)
+                      (array 'read 0 60 (vau (data code)
+                            (array 'exit (fib (read-string data)))
+                      ))
+
+                ))
+
+ ) monad)
+; end of all lets
+))))))
+; impl of let1
+)) (vau de (s v b) (eval (array (array wrap (array vau (array s) b)) v) de)))
+; impl of quote
+)) (vau (x5) x5))
diff --git a/fib_tests.sh b/fib_tests.sh
new file mode 100755
index 0000000..a9042c6
--- /dev/null
+++ b/fib_tests.sh
@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+
+NUMBER=11
+
+echo "Compile Straight"
+touch csc_out.wasm && rm csc_out.wasm && scheme --script ./partial_eval.scm fib.kp                && time echo $NUMBER | wasm3 ./csc_out.wasm
+
+echo "Interpret Straight"
+touch csc_out.wasm && rm csc_out.wasm && scheme --script ./partial_eval.scm fib.kp no_compile     && time echo $NUMBER | wasm3 ./csc_out.wasm
+
+echo "Compile Let"
+touch csc_out.wasm && rm csc_out.wasm && scheme --script ./partial_eval.scm fib_let.kp            && time echo $NUMBER | wasm3 ./csc_out.wasm
+
+echo "Interpret Let"
+touch csc_out.wasm && rm csc_out.wasm && scheme --script ./partial_eval.scm fib_let.kp no_compile && time echo $NUMBER | wasm3 ./csc_out.wasm
+
+