A statically-typed, functional typesetting system. Contribute to gfngfn/SATySFi development by creating an account on GitHub.