gfngfn/SATySFi

SATySFi - A statically-typed, functional typesetting system