Turing Completeness in Reactivity

In the previous post, I summarized the key requirements and features of a special kind of reactive...