L15: Small Step Semantics of IfArith
Channel: Kristopher Micinski
Date: 2021-03-18

https://gist.github.com/kmicinski/fbe628154d4b8b300941468b5113dfcb