My first program using ιx → xSK combinator

Program:

(cdr (cons [x] [y])) translates to ((((ι(ι(ι(ιι))))(((ι(ι(ι(ιι))))(ιι))((ι(ι(ιι)))[x])))((ι(ι(ιι)))[y]))((ι(ι(ιι)))(ιι)))

using the ι combinator.

It evaluates to [y] just like its LISP equivalent.

In the beginning…

.. and now and forever there is only,

ιx → xSK

Everything else is an illusion.

Sambar is not a Vector

I had mistakingly thought Sambar is an -dimensional vector where is the number of ingredients because, if one mixes 2 Sambars, the result is a Sambar. And if one takes a lot of Sambar, the result is Sambar too.

But I overlooked the fact that, each of the ingredients (basis vectors) of Sambar must be Sambar too, if it has to be a vector. For example, toovar dal (pigeon pea) must be considered Sambar too, own its own, without water or any other ingredients.

More over, no Sambar must be Sambar too. Because null vectors are part of a vector space.

So I was wrong..