The first time I saw it, I was suprised to learn that the evaluator is based on text transform: evaluation is a fixpoint where basically each match of "{[^}]*}" is replaced by its evaluation. The regex ensures values at the deepest level of nesting are evaluated first: http://b2b3.free.fr/lambdaspeech/meca/JS.js