Merge pull request #55 from codewars/update-image

Author: kazk

workspace/package-lock.json

@@ -11,7 +11,7 @@
     "timeout": 0
   },
   "dependencies": {
-    "@codewars/lambda-calculus": "^1.0.0-rc.1"
+    "@codewars/lambda-calculus": "^1.0.0-rc.2"
   },
   "devDependencies": {
     "@codewars/mocha-reporter": "^1.0.0",

workspace/package.json

@@ -0,0 +1,12 @@
+# Kacarott
+
+true  = \ a b . a
+false = \ a b . b
+%invalid = \a b . b
+
+zero = false
+succ = \ n f x . f (n f x)
+
+y = \ f . (\ x . f (x x)) (\ x . f (x x))
+
+counter = y (\ count n b . b (count (succ n)) (n) ) zero

workspace/solution.lc

@@ -0,0 +1,21 @@
+import { assert, config as chaiConfig } from "chai";
+chaiConfig.truncateThreshold = 0;
+
+import * as LC from "@codewars/lambda-calculus";
+import { solution } from "./files.js"; // /workspace/files.js
+
+LC.config.purity = "Let";
+LC.config.numEncoding = "Church";
+const toInt = LC.toIntWith(LC.config);
+const { counter } = LC.compile(solution());
+
+const T = t => _ => t;
+const F = _ => f => f;
+
+describe("counter", () => {
+  it("fixed tests", () => {
+    assert.strictEqual(toInt(counter(T)(T)(T)(F)), 3);
+    assert.strictEqual(toInt(counter(T)(F)), 1);
+    assert.strictEqual(toInt(counter(T)(T)(T)(T)(T)(T)(T)(F)), 7);
+  });
+});