Поиграть с лямбда-исчислением

[bntr]

Когда-то давно (2008) написал странную приблуду: манипулятор для лямбда-выражений в графической нотации.
Я тогда думал, что если сделать нотацию полностью графической (без букв), то это поможет понять лямбда-исчисление даже не умеющим ещё читать детям.
Такие надежды конечно не оправдались.
Но среда эта осталась, и теперь получилось выложить её в веб, и можно поиграть в браузере: https://bntr.itch.io/visual-lambda
Думаю, может заинтересовать IT студентов, например.
Может, на кружке программирования старшеклассникам предложить. Там в т.ч. задания есть порешать: https://bntre.github.io/visual-lambda/# ... ce=puzzles
Еще песня про факториал получилась: https://www.youtube.com/watch?v=aRgu8S3Pnb8