On 23-07-15 09:37, Orchid Win7 v1 wrote:
> OTOH, if you look at the size of "S" verses "X(X(X(XX)))", you can see
> that anything in the Iota calculus is going to be *really huge*!
depends on your encoding. if you use all brackets, the Xs are redundant.
if you then encode ( by 0 and ) by 1, S is still only 8 bits and K only 6
