I built a fun game [0] that shows the power of SKI calculus. Similar to infinite craft [1], you start with a base of elements (S and K combinators) and build your way up to any lambda term!
Instead of all the dragging and aligning, wouldn't it be simpler if you could just click on one combinator to use as function, and then on another to use as argument? You could do away with the whole canvas.