SATySFi: A statically-typed, functional typesetting system (via agnishom) — discussion

#programming