diff options
| author | Elizabeth Hunt <me@liz.coffee> | 2026-01-07 20:15:56 -0800 |
|---|---|---|
| committer | Elizabeth Hunt <me@liz.coffee> | 2026-01-07 20:16:49 -0800 |
| commit | 2b01f7744cf54e1a3bad7687acc621acf013a27f (patch) | |
| tree | 7405e66e230ec9fe242ed0e982ad74fa0377fc0f /src/toys.md | |
| parent | 6777e0a052b9e0e0d10edc55fe3958adf5f41c9e (diff) | |
| download | lizdotcoffee-2b01f7744cf54e1a3bad7687acc621acf013a27f.tar.gz lizdotcoffee-2b01f7744cf54e1a3bad7687acc621acf013a27f.zip | |
Switch up the order a bit
Diffstat (limited to 'src/toys.md')
| -rw-r--r-- | src/toys.md | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/toys.md b/src/toys.md index a434b3e..9639e9a 100644 --- a/src/toys.md +++ b/src/toys.md @@ -10,30 +10,30 @@ These are the web-based toys I've ported over (so far) from my old website. New --- -#### Tabloid Closures +#### The Abstraction Engine <div class="text-center"> - <img src="/assets/tabloid.png" width="500"> + <img src="/assets/lambda.png" width="500"> </div> -For fun (and procrastination) I added closures to the [Tabloid](https://tabloid.vercel.app/) esoteric programming language and wrote lambda-calculus-inspired primitives of pair/cons, then extended them to -valid merge sort and binary tree traversal programs. +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. -[It is horribly inefficient](/toys/tabloid). +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)! --- -#### The Abstraction Engine +#### Tabloid Closures <div class="text-center"> - <img src="/assets/lambda.png" width="500"> + <img src="/assets/tabloid.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. +For fun (and procrastination) I added closures to the [Tabloid](https://tabloid.vercel.app/) esoteric programming language and wrote lambda-calculus-inspired primitives of pair/cons, then extended them to +valid merge sort and binary tree traversal programs. -[Play now!](https://the-abstraction-engine.pages.dev). +[It is horribly inefficient](/toys/tabloid). --- |