From 413eaa284e164143c5416cdce5a1de0f9f992409 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Sun, 9 Nov 2025 21:08:12 -0800
Subject: map + reduce

---
 tests/type-consistency/spec/recursion.ts | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 tests/type-consistency/spec/recursion.ts

(limited to 'tests/type-consistency/spec/recursion.ts')

diff --git a/tests/type-consistency/spec/recursion.ts b/tests/type-consistency/spec/recursion.ts
new file mode 100644
index 0000000..c5de83f
--- /dev/null
+++ b/tests/type-consistency/spec/recursion.ts
@@ -0,0 +1,25 @@
+import path from "path";
+import { createTestHarness } from "../harness";
+
+export default createTestHarness({
+  harnessName: "Recursive functions",
+  generatedPath: path.join(__dirname, "..", "generated"),
+})
+  .createFunctionTest({
+    name: "n!",
+    program: "bind(fac,fn(n,?(eq(n, 1),n,mul(n,call(fac,sub(n,1))))))",
+    cases: [
+      { input: 3, output: 6 },
+      { input: 1, output: 1 },
+      { input: 5, output: 120 },
+    ],
+  })
+  .createFunctionTest({
+    name: "Sum of natural numbers on [0, n]",
+    program: "bind(sumnn,fn(n,?(eq(n, 1),n,add(n,call(sumnn,sub(n,1))))))",
+    cases: [
+      { input: 5, output: 15 },
+      { input: 1, output: 1 },
+      { input: 2, output: 3 },
+    ],
+  });
-- 
cgit v1.2.3-70-g09d2