search

plum-umd / abstracting-definitional-interpreters

Abstracting Definitional Interpreters
67 stars 2 forks source link

Scribbling: center tables #74

Closed dvanhorn closed 7 years ago

dvanhorn commented 7 years ago

Center the tables in fig 1 and grammar in sec 8.