search

plum-umd / abstracting-definitional-interpreters

Abstracting Definitional Interpreters
67 stars 2 forks source link

Include tex appendix #78

Closed dvanhorn closed 7 years ago

dvanhorn commented 7 years ago

Need to (optionally) include the appendix, without porting it from tex to scribble.

dvanhorn commented 7 years ago

I think the best approach is make this a separate document which can put on arxiv and in the supplemental material in the ACM DL. I've made changes to the appendix to implement this.