4 ms·
I managed to build X as S (K (S (K (S S (K (S (K (S S (K K))) K)))) K)) S. Instead of all the dragging and aligning, wouldn't it be simpler if you could just c
by tromp 2y ago
I managed to build X as S (K (S (K (S S (K (S (K (S S (K K))) K)))) K)) S.
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.
- marvinborner 2y agoYes, good idea. Maybe I'll add it as an additional method of application. The motivation here was not to find an efficient way to construct terms, but as a fun interpretation of infinite craft. A much simpler solution would obviously be to type the term directly :D