SATySFi
組版ソフトウェア
静的型つきのいわゆる函数型言語が備わった，新しい組版処理システム
SATySFi/README-ja.md at master · gfngfn/SATySFi
TeX と SATySFi 主要記法比較
SATySFi入門とリンク集 - Qiita
静的型つき組版処理システムSATYSFI - 情報学広場：情報処理学会電子図書館
TeX
opam
bubblewrap