#programming-language#software#domain-specific-language#DTP Better TeXを目指した組版システム。 多段階計算による型安全なマクロが導入されている