plum-umd / abstracting-definitional-interpreters

Abstracting Definitional Interpreters
67 stars 2 forks source link

Scribbling: alignment of do notation #68

Closed dvanhorn closed 7 years ago

dvanhorn commented 7 years ago

The explanation of do notation manually aligns code, but should use something that does a better job with unicode characters.