Random Sketch-Maker

[warped_wart_wars]

Yeah.

On the topic there, you say

@bh

The great thing about lambda calculus is that Church showed how, starting with nothing but lambda and CALL, you can carry out any computation. No variables other than the parameters of lambda expressions, no arithmetic, no lists, just lambda and call. Very cool.

Would that list

@bh

No variables other than the parameters of lambda expressions, no arithmetic, no lists, just lambda and call.

include "no custom blocks"?

I.e. following the rules of this:
Gray ring and call