gfngfn/SATySFi
View on GitHub ↗ ★ 1,248 OCaml
A statically-typed, functional typesetting system
4 mentions on Hacker News by 3 people: 2 stories, 2 comments · first 2018-03-12 · latest 2025-06-23
20082026
-
▲ 2
SATySFi: A statically-typed, functional typesetting systemstory by Bogdanp · 2025-06-23 · 0 comments
-
▲ 1
SATySFi: statically-typed, functional typesetting systemstory by ingve · 2018-03-12 · 0 comments