Either the most cursed or the most blessed idea I have ever had:

Strongly Typed Typesetting System

Follow

@timorl With types defined at which level? E.g. in each document style?

@robryk I thought that just like in any programming language, a couple base types and you can define more wherever. Preferably dependent types, these are always cool.

Disclaimer: I have no idea why any of this would be useful, especially dependent types.

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.