Universe

Trompet is a package for drawing Tromp lambda diagrams, a representation of lambda calculus expressions, built on top of Lambdabus.

Examples

Many colored Tromp diagrams showing the normalization process of the factorial of 2 A Tromp diagram of the Church numeral 3 with blue labels

Usage

For more information, check the manual.

To use this package, simply add the following code to your document:

#import "@preview/trompet:0.1.0": *

#tromp("\\f.\\n.f (f (f n))")