@wim_v12e just noticed you were doing lambda experiments in uxntal 👀 keep me posted. I've been scratching my head at writing a uxntal implementation of church numerals and it's kicking my butt. Any idea?
@neauoire The main difference with Joy is that in Uxntal you can't have quoted lists on the stack. You could of course put them in memory and that is the approach I've taken, but I imagine that is not what to had in mind, because the list manipulation involves counting so it kind of defeats the purpose. Otoh, the VM also needs to count to manage the stack ...
@wim_v12e no, not completely, I have a draft of some things, but I haven't been able to add 2 church numbers together in uxntal yet :<