An interpreter of lambda calculus.
It shows reduction process of lambda terms.
Several evaluation strategies are supported.
Output format can be selected from LaTex, plain text.
The MlDoC system is a powerfull but 'simple as needed' documentation tool
for OCaML programming projects. It consists currently of a frontend
module and various backend modules for HTML, ASCII-Text and LaTeX output.