search

plum-umd / abstracting-definitional-interpreters

Abstracting Definitional Interpreters
67 stars 2 forks source link

Scribbling: subscript characters #69

Closed dvanhorn closed 7 years ago

dvanhorn commented 7 years ago

Subscript characters also make latex break, but used to work fine.