T[2]

A functional language.

"T: A Simple Reduction Language Based on Combinatory Term Rewriting", Ida et al, Proceedings of Programming Future Generation Computers, 1988.