In this post, we define the rules for a G-machine, the abstract machine that we will target with our compiler.| danilafe.com
