/tex_of_ocaml

A compiler for untyped lambda terms to TeX code

Primary LanguageTeX

Stargazers