A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
Primary LanguageTypeScriptMIT LicenseMIT
No one’s watching this repository yet.