texdraft
texdraft
As is decently well known, plain TeX's “underscore” character is actually ``` {\leavevmode \kern.06em \vbox{\hrule width.3em}} ``` It looks nice enough, but when copying and pasting text that has an...
Unicode
There are a couple open issues about UTF-8 and Unicode. I was going to write this as a comment on one of them, but I wanted to make a new...
I previously submitted an issue in which I talked about the beginnings of tagged representation in general, but here is what I have found specifically about “NaN boxing” (“NaN tagging”...
Addressing https://github.com/nanopass/nanopass-framework-racket/issues/39 As a side note, from reading the code it's clear that there's supposed to be a similar `->` notation for supplying a prettifier *procedure* (as in `terminals`). Indeed...
The `define-language` macro allows `=>` to follow nonterminal productions as well as terminal definitions, but this is not mentioned in the documentation. It is described in [Andy Keep's dissertation](https://andykeep.com/pubs/dissertation.pdf), which...