From 6777e0a052b9e0e0d10edc55fe3958adf5f41c9e Mon Sep 17 00:00:00 2001 From: Elizabeth Hunt Date: Wed, 7 Jan 2026 20:14:31 -0800 Subject: Add the abstraction engine --- src/assets/lambda.png | Bin 0 -> 179682 bytes src/toys.md | 16 +++++++++++++++- 2 files changed, 15 insertions(+), 1 deletion(-) create mode 100644 src/assets/lambda.png diff --git a/src/assets/lambda.png b/src/assets/lambda.png new file mode 100644 index 0000000..4f07e8c Binary files /dev/null and b/src/assets/lambda.png differ diff --git a/src/toys.md b/src/toys.md index 39f2941..a434b3e 100644 --- a/src/toys.md +++ b/src/toys.md @@ -6,7 +6,7 @@ description: A collection of little interactive toys and experiments ## Toys! -These are the toys I've ported over (so far) from my old website. New and improved! +These are the web-based toys I've ported over (so far) from my old website. New and improved! --- @@ -23,6 +23,20 @@ valid merge sort and binary tree traversal programs. --- +#### The Abstraction Engine + +
+ +
+ +A game inspired by [Baba Is You](https://store.steampowered.com/app/736260/Baba_Is_You/). Your character is a Lambda and you aim to eat the [Curry](https://en.wikipedia.org/wiki/Currying) by writing real lambda-calculus terms and applying them to other lambda-calculus terms to solve puzzles. The core is a [custom ECS engine and lambda calculus interpreter in typescript](https://code.liz.coffee/the-abstraction-engine-ts.git/). So far I've only gotten two levels as a "tech demo" showcasing basic functionality. But the groundwork was put in place to get a [fixed-point-combinator](https://en.wikipedia.org/wiki/Fixed-point_combinator) level written. + +Due to the game's inner complexity and the fact that I just keep getting discouraged, I've been procrastinating making a full rewrite and release of this on real platforms as my first "published" game. Hopefully I get there some day soon. Maybe I just need to set myself a deadline. + +[Play now!](https://the-abstraction-engine.pages.dev). + +--- + #### Gödel Number Playground
-- cgit v1.2.3-70-g09d2