Det nye åpen kildekode-prosjektet ExactTex introduserer et gradvis typesystem bygget oppå LaTeX, med mål om å fange opp feil før dokumentet kompileres.

Kilde: https://github.com/camilochs/exacttex