@dallaylaen/ski-interpreter 1.1.0 → 1.3.0

package/CHANGELOG.md

@@ -5,6 +5,37 @@ 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).
 
+## [1.3.0] - 2026-01-25
+
+### BREAKING CHANGES
+
+- Remove `Expr.reduce()` method for good (too ambiguous). See also `Expr.invoke()` below.
+- Remove `onApply` hook from `Native` combinators.
+
+### Added
+
+- Expr: Add `invoke(arg: Expr)` method implementing actual rewriting rules.
+- SKI: `add(term, impl, note?)` method now accepts a function as `impl` to define native combinators directly.
+- Improved jsdoc somewhat.
+
+## [1.2.0] - 2025-12-14
+
+### BREAKING CHANGES
+
+- Remove `toString()` options, use `format()` instead.
+- Make `needsParens()` private (should've been to begin with)
+- Remove unused `renameVars()` method.
+- Remove Expr.`toJSON()`
+
+### Added
+
+- SKI: `toJSON()` now recreates declarations exactly, preserving named subexpressions.
+- SKI: `declare()` / `bulkAdd()` methods to export/import term definitions.
+- Expr: `format(options?)` method for pretty-printing expressions with various options: html, verbosity, custom lambdas, custom brackets etc.
+- Expr: `subst(find, replace)` now works for any type of find  except application and lambdas.
+- Playground: permalinks now use #hash instead of a ?query string. (Old links still supported).
+- Playground: togglable frames around subexpressions & variable/redex highlighting.
+
 ## [1.1.0] - 2025-12-07
 
 ### BREAKING CHANGES
@@ -21,7 +52,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Expr: guess() method to normalize terms.
   Returns an object with `normal`: boolean and `steps`:
   number properties, as well as optional `expr`: Expr -
-  equivalent lambda expression; `arity`: number, 
+  equivalent lambda expression; `arity`: number,
   and other properties.
 - Expr: replace(terms: Expr[], options: {}) replaces
   subtrees with matching canonical form (if they have one).

package/README.md

@@ -46,6 +46,25 @@ that has enough arguments is executed and the step ends there.
 Lambda terms are lazy, i.e. the body is not touched until
 all free variables are bound.
 
+# Playground
+
+https://dallaylaen.github.io/ski-interpreter/
+
+* all of the above features (except comparison and JS-native terms) in your browser
+* expressions have permalinks
+* can configure verbosity & executeion speed
+
+# Quests
+
+https://dallaylaen.github.io/ski-interpreter/quest.html
+
+This page contains small tasks of increasing complexity.
+Each task requires the user to build a combinator with specific properties.
+
+# CLI
+
+REPL comes with the package as [bin/ski.js](bin/ski.js).
+
 # Installation
 
 ```bash
@@ -100,24 +119,6 @@ const [x, y] = SKI.free('x', 'y'); // free variables
 SKI.church(5).apply(x, y).run().expr + ''; // 'x(x(x(x(x y))))'
 ```
 
-# Playground
-
-https://dallaylaen.github.io/ski-interpreter/
-
-* all of the above features (except comparison and JS-native terms) in your browser
-* expressions have permalinks
-* can configure verbosity & executeion speed
-
-# Quests
-
-https://dallaylaen.github.io/ski-interpreter/quest.html
-
-This page contains small tasks of increasing complexity. 
-Each task requires the user to build a combinator with specific properties.
-
-# CLI
-
-REPL comes with the package as [bin/ski.js](bin/ski.js).
 
 
 
@@ -131,6 +132,7 @@ REPL comes with the package as [bin/ski.js](bin/ski.js).
 * "To Mock The Mockingbird" by Raymond Smulian.
 * [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
 
 # License and copyright
 

package/bin/ski.js

@@ -69,7 +69,7 @@ function runLine(onErr) {
                 if (state.final && !options.q)
                     console.log(`// ${state.steps} step(s) in ${new Date() - t0}ms`);
                 if (options.v || state.final)
-                    console.log('' + state.expr.toString({terse: options.t}));
+                    console.log('' + state.expr.format({terse: options.t}));
                 if (state.final && expr instanceof SKI.classes.Alias)
                     ski.add(expr.name, state.expr);
             }