A statically-typed, functional typesetting system
Primary LanguageOCamlGNU Lesser General Public License v3.0LGPL-3.0