# baklava

Rougail's operational abstract machine, like with the old  SECD (Stack, Environment, Control, Dump) machines.
It embodies the transition from pure theory to a concrete execution model that influenced the design of languages ​​and virtual machines.