Universe

Lambdabus allows you to parse, normalize and display simple λ-Calculus expressions in Typst with ease.

Usage

Lambdabus is available on the Typst Universe and it is thus recommended to be imported like this:

#import "@preview/lambdabus:0.1.0" as lmd

Features/Examples

Feature Table