If this is Lambda Calculus Tarpit like Turing Tarpit[1]? It seems like that to me.

[1]http://en.wikipedia.org/wiki/Esoteric_programming_language#T...