diff options
| author | Elizabeth Hunt <me@liz.coffee> | 2026-01-07 20:14:31 -0800 |
|---|---|---|
| committer | Elizabeth Hunt <me@liz.coffee> | 2026-01-07 20:14:31 -0800 |
| commit | 6777e0a052b9e0e0d10edc55fe3958adf5f41c9e (patch) | |
| tree | f540832515121d40f34ad6c151e1d17b5a6cde2c /src | |
| parent | 050fd72eb6bdd941b1759afab602ab07d031f627 (diff) | |
| download | lizdotcoffee-6777e0a052b9e0e0d10edc55fe3958adf5f41c9e.tar.gz lizdotcoffee-6777e0a052b9e0e0d10edc55fe3958adf5f41c9e.zip | |
Add the abstraction engine
Diffstat (limited to 'src')
| -rw-r--r-- | src/assets/lambda.png | bin | 0 -> 179682 bytes | |||
| -rw-r--r-- | src/toys.md | 16 |
2 files changed, 15 insertions, 1 deletions
diff --git a/src/assets/lambda.png b/src/assets/lambda.png Binary files differnew file mode 100644 index 0000000..4f07e8c --- /dev/null +++ b/src/assets/lambda.png 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 + +<div class="text-center"> + <img src="/assets/lambda.png" width="500"> +</div> + +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 <div class="text-center"> |
