-
Heiko Becker authored
Start working on supporting let statements. Therefore add environment simulation relation and prove preservation by small step semantics for it
5a937356
Start working on supporting let statements. Therefore add environment simulation relation and prove preservation by small step semantics for it