Imp: simple interpreter

from blog Scattered Thoughts, | ↗ original
This is a part of a series - start at the beginning. imp requires javascript! The denotational semantics define what an imp expression means, but it defines the meaning in terms of infinite sets. How can we evaluate those semantics? The little interactive...