This is the Abstraction Anonymous shrine to the Cult of the Bound Variable (CBV).
In 200 BCE, the Cult of the Bound Variable established itself as
the dominant religion/school of computer science in the New
World. With the advent of the UM (Universal Machine), they were able
to create the foremost operating system of the age: UMIX.
In 1968 CE, a group of researchers in America discovered the long lost Codex of the Cult of the Bound Variable. In 2006 CE, after many attempts at transcription and interpretation, Abstraction Anonymous received a copy of the Codex from the ICFP (International Conference on Functional Programming). We implemented a Universal Machine. This is our story.
Hell is other programming languages. -- Sartran
Hell is that programming language! -- Dan
Ordinarily, one would enrich this language with more powerful means of computation. Instead I take a different tack... -- Harmonious Monk