Christophe Creeten

I think it would not solve the problem, because it is not tail recursive. The way I see it, with a tail recursive trampoline implementation, a call to a trampoline...

I was curious so I hacked something together to see the effect of expressions returning lists of booleans. With this, I could actually write the expression as stated above. You...

Definitely a valid solution yes :smile: I have thought of an other case I think, concerning the (material) implication. I currently have it implemented as ```or(not(p),q)```. Take ```p = [0,...