search

plum-umd / abstracting-definitional-interpreters

Abstracting Definitional Interpreters
67 stars 2 forks source link

Foreshadow alloc #53

Closed dvanhorn closed 7 years ago

dvanhorn commented 7 years ago

Fig 3. It seems strange that alloc takes an argument x and ignores it. Maybe foreshadow Figure 7 here?

Yep.