SATySFi
by gfngfn
OCamlpushed almost 2 years ago
A statically-typed, functional typesetting system
AI summary
Typesetter
A functional typesetting system with a statically-typed language
- stars
- 1.2K
- forks
- 84
- watching
- 53
by gfngfn
A statically-typed, functional typesetting system
AI summary
Typesetter
A functional typesetting system with a statically-typed language