@dallaylaen/ski-interpreter 2.6.1 → 2.6.3

package/CHANGELOG.md

@@ -5,6 +5,32 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [2.6.3] - 2026-03-30
+
+### Added
+
+- Quest cases now support `{ canonize: { max: number } }` option 
+to canonize terms before comparing.
+This was added to cut off excessive `I(I(I(...)))`
+in non-normalizable solutions.
+
+### Fixed
+
+- Quests: Turing bird (wrong def) and Y combinator (was not accepting some valid solutions) fixed.
+- Exposed more types supposed to be exposed all along.
+
+## [2.6.2] - 2026-03-29
+
+### Added
+
+- (Re-)added { arity: number } to Alias constructor
+(worked anyway but now it's official).
+- More Alias tests.
+
+### Fixed
+
+- Typos.
+
 ## [2.6.1] - 2026-03-29
 
 ### Fixed

package/README.md

@@ -12,7 +12,7 @@ and can be used in Node.js or in the browser.
 
 A [playground](https://dallaylaen.github.io/ski-interpreter/)
 and a [quest page](https://dallaylaen.github.io/ski-interpreter/quest.html)
-containing interactive combinatory logic exercises of increasing difficulty are incuded.
+containing interactive combinatory logic exercises of increasing difficulty are included.
 
 # Features:
 
@@ -74,7 +74,7 @@ This is consistent with combinator behavior under LO order.
 
 * [Quests](https://dallaylaen.github.io/ski-interpreter/quest.html)
 
-This page contains small combinatory logic exercises of increasing (hopefully) diffuculty.
+This page contains small combinatory logic exercises of increasing (hopefully) difficulty.
 Each task requires the user to build a combinator with specific properties.
 New combinators are unlocked as the user progresses.
 
@@ -158,7 +158,7 @@ const iterator = expr.walk();
 
 // applying expressions
 const result = expr.run({max: 1000}, arg1, arg2, ...);
-// same sa
+// same as
 expr.apply(arg1).apply(arg2).run();
 // or simply
 expr.apply(arg1, arg2).run();
@@ -281,7 +281,7 @@ const q = new Quest({
 q.check('CI'); // pass
 q.check('a->b->b a'); // ditto
 q.check('K'); // fail
-q.check('K(K(y x))') // nope! the variable scopes won't match
+q.check('K(K(y x))') // nope! The variable scopes won't match
 ```
 
 See also [the quest guide](quest-intro.md) for more details on building your own quests or even interactive quest pages.
@@ -306,10 +306,10 @@ for building interactive quest pages from JSON-encoded quest data;
 
 # Prior art and inspiration
 
-* "To Mock The Mockingbird" by Raymond Smulian.
+* "To Mock The Mockingbird" by Raymond Smullyan.
 * [combinator birds](https://www.angelfire.com/tx4/cus/combinator/birds.html) by [Chris Rathman](https://www.angelfire.com/tx4/cus/index.html)
 * [Fun with combinators](https://doisinkidney.com/posts/2020-10-17-ski.html) by [@oisdk](https://github.com/oisdk)
-* [Conbinatris](https://dirk.rave.org/combinatris/) by Dirk van Deun
+* [Combinatris](https://dirk.rave.org/combinatris/) by Dirk van Deun
 
 # License and copyright
 

package/lib/ski-interpreter.cjs.js

@@ -15628,14 +15628,6 @@ var Case = class {
   parse(src) {
     return new Subst(this.engine.parse(src, { env: this.env, scope: this }), this.input);
   }
-  /**
-   * @param {Expr} expr
-   * @return {CaseResult}
-   */
-  // eslint-disable-next-line @typescript-eslint/no-unused-vars
-  check(..._expr) {
-    throw new Error("not implemented");
-  }
 };
 var ExprCase = class extends Case {
   /**
@@ -15644,6 +15636,7 @@ var ExprCase = class extends Case {
    *    max?: number,
    *    note?: string,
    *    env?: {string: Expr},
+   *    canonize?: { max?: number, maxSize?: number, maxArgs?: number },
    *    engine?: Parser
    * }} options
    * @param {[e1: string, e2: string]} terms
@@ -15652,6 +15645,7 @@ var ExprCase = class extends Case {
     if (terms.length !== 2)
       throw new Error("Case accepts exactly 2 strings");
     super(input, options);
+    this.canonize = options.canonize;
     [this.e1, this.e2] = terms.map((s) => this.parse(s));
   }
   check(...args) {
@@ -15662,8 +15656,9 @@ var ExprCase = class extends Case {
     let reason = null;
     if (!r1.final || !r2.final)
       reason = "failed to reach normal form in " + this.max + " steps";
-    else
-      reason = r1.expr.diff(r2.expr);
+    else {
+      reason = this.canonize ? canonize(r1.expr, this.canonize).diff(canonize(r2.expr, this.canonize)) : r1.expr.diff(r2.expr);
+    }
     return {
       pass: !reason,
       reason: reason ?? void 0,
@@ -15825,6 +15820,11 @@ function checkHtml(str) {
 }
 Quest.Group = Group;
 Quest.Case = Case;
+function canonize(term, options = {}) {
+  return term.traverse({}, (e) => {
+    return e.infer(options).expr;
+  }) ?? term;
+}
 
 // src/extras.ts
 function search(seed, options, predicate) {