t

trompet

@preview

Draw Tromp lambda diagrams.

v0.1.1
MIT

Package Information

Last Updated
Minimum Typst Version
0.14.0
Categories
visualizationfun
Disciplines
computer-sciencemathematics

1. Get the package

Download the package using the TPIX CLI:

tpix get @preview/trompet:0.1.1

2. Import in your Typst file

Add this to your .typ file:

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

Version History

0.1.10.14.0
736dc4aaddef...
0.1.00.14.0
e684d58af587...

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.1": *

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