id: c840f7c8-4045-4b08-aac8-495c4f6e21bd
url: http://matt.might.net/articles/writing-an-interpreter-substitution-denotational-big-step-small-step/