/SATySFi

A statically-typed, functional typesetting system

Primary LanguageOCamlGNU Lesser General Public License v3.0LGPL-3.0

Stargazers

No one’s star this repository yet.