Add the abstraction engine

2 files changed, 15 insertions, 1 deletions

diff --git a/src/assets/lambda.png b/src/assets/lambda.png
new 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">