El Pin Al

Thank you for the information. I'm going to understand the OpenType MATH table.

Is that a problem? Does it mean that *all* state-mutating commands that may be used inside `+xgenlisting` or something alike are forced to use `get-command-identity` if one wants to avoid...

I've decided to include "Modular Type Classes" (Dreyer et al. 2006, 2007). It has a formal definition (internal type theory, elaboration and type inference): the internal type theory is a...