diff options
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"> |
