add alligator eggs

cl/diagrams.html

@@ -98,6 +98,7 @@ <h2> Related work</h2>
 <a href="http://dkeenan.com/Lambda/">To Dissect a Mockingbird:
 A Graphical Notation for the Lambda Calculus with Animated Reduction</a>,
 which partly inspired this page.
+<p> <a href="https://worrydream.com/AlligatorEggs/">Alligator Eggs"</a> is masquarading lambda calculus as a colorful puzzle game.
 <p>
 In his <a href="http://bntr.planet.ee/lambda/work/visual_lambda.pdf">Master thesis</a>, Viktor Massal&otilde;gin discusses 4 existing graphical notations before introducing his own "bubble" notation. Figure 3 on page 10 shows 4 depictions of the fixpoint combinator (which differs from Y above in one beta reduction), while the bubble form is in Figure 5 on page 13.
 <p> Prathyush Pramod compiled a <a href="https://github.com/prathyvsh/lambda-calculus-visualizations">catalogue</a> of all known graphical notations.