fmt

Author: maxdeliso

lib/evaluator/arenaEvaluator.ts

@@ -198,14 +198,14 @@ function embedsRec(
   nodes: ArenaNode[],
   a: number,
   b: number,
-  visited: Set<string>
+  visited: Set<string>,
 ): boolean {
   const key = `${a},${b}`;
   if (visited.has(key)) return false;
   visited.add(key);
 
-  const nodeA = nodes.find(n => n.id === a);
-  const nodeB = nodes.find(n => n.id === b);
+  const nodeA = nodes.find((n) => n.id === a);
+  const nodeB = nodes.find((n) => n.id === b);
 
   if (!nodeA || !nodeB) return false;
 
@@ -231,7 +231,7 @@ export function embeds(nodes: ArenaNode[], a: number, b: number): boolean {
 export function hasEmbedding(
   nodes: ArenaNode[],
   history: number[],
-  currentId: number
+  currentId: number,
 ): boolean {
   for (const prevId of history) {
     if (embeds(nodes, prevId, currentId)) {

scripts/genForest.ts

@@ -1,7 +1,10 @@
 import { cons } from "../lib/cons.ts";
 import { I, K, S } from "../lib/ski/terminal.ts";
 import type { SKIExpression } from "../lib/ski/expression.ts";
-import { initArenaEvaluator, hasEmbedding } from "../lib/evaluator/arenaEvaluator.ts";
+import {
+  hasEmbedding,
+  initArenaEvaluator,
+} from "../lib/evaluator/arenaEvaluator.ts";
 import type { EvaluationStep, GlobalInfo } from "./types.ts";
 
 const memo = new Map<number, SKIExpression[]>();
@@ -99,7 +102,9 @@ export async function* generateEvaluationForest(
 
     // Manual evaluation with cycle detection
     for (let step = 0;; step++) {
-      const { altered, expr: nextExpr } = evaluator.stepOnce(evaluator.fromArena(currentId));
+      const { altered, expr: nextExpr } = evaluator.stepOnce(
+        evaluator.fromArena(currentId),
+      );
 
       if (!altered) {
         break; // No more reduction possible