[siddbudd]

Yep, Martin Haug wrote his Master's thesis [1] about it.

[1] https://www.user.tu-berlin.de/mhaug/fast-typesetting-increme...

[nakedneuron]

Laurenz Mädje (the other founder) did too:

https://www.user.tu-berlin.de/laurmaedje/programmable-markup...