fix factorial example

src/component/expr/ExprBlock.css

@@ -3,8 +3,8 @@
   position: relative;
 }
 .editor.unknown {
-  border: 1px dashed dodgerblue;
+  /* border: 1px dashed dodgerblue;
-  display: inline-block;
+  display: inline-block; */
 }
 .editor.error, .editor.unknown.error {
   border: 1px solid red;

src/component/other/Input.tsx

@@ -1,8 +1,9 @@
 import { useEffect, useRef, type ReactNode, type KeyboardEvent, useState } from "react";
 
-import "./Input.css";
 import { focusPrevElement, focusNextElement, setRightMostCaretPosition } from "../../util/dom_trickery";
 
+import "./Input.css";
+
 interface InputProps {
   placeholder: string;
   text: string;

src/eval/deep_eval.ts

@@ -107,19 +107,21 @@ export function deepEvalCall(s: CallBlockState, env: DynamicEnvironment): DeepEv
   }
 }
 export function deepEvalLet(s: LetInBlockState, env: DynamicEnvironment): DeepEvalResultLet {
+  let valueResult;
   const valueEnv = {
     names: trie.insert(env.names)(s.name)({
+      // dirty: we introduce indirection to enable recursion
       recursive: true,
       i: () => {
         try {
-          return { val: valueResult.val };
+          return valueResult;
         } catch (e) {
           return { err: e };
         }
       },
     }),
   };
-  const valueResult = deepEvalExpr(s.value, valueEnv);
+  valueResult = deepEvalExpr(s.value, valueEnv);
   const innerEnv = {
     names: trie.insert(env.names)(s.name)({i: valueResult.val}),
   }