gfngfn/SATySFi
A statically-typed, functional typesetting system
2 best points · 0 comments · 2 Hacker News posts · 1,248 GitHub stars · View on GitHub
Hacker News discussions
- SATySFi: A statically-typed, functional typesetting system (2 points, 0 comments, by Bogdanp, 2025-06-23)
- SATySFi: statically-typed, functional typesetting system (1 points, 0 comments, by ingve, 2018-03-12)