tomstuart/computationbook — pull request #2 by inglesp (2013-06-09 11:42:50+00:00)
Title: Fix bug with small-step machine

Small-step machine could not handle environment lookups after evaluating
an expression, since reducing an expression does not return an
environment.