lambdabus – Typst 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

How to add

Copy this into your project and use the import as lambdabus

#import "@preview/lambdabus:0.1.0"

Check the docs for more information on how to import packages.

About

Author:

Luca Schlecker

License:

MIT

Current version:

0.1.0

Last updated:

November 4, 2024

First released:

November 4, 2024

Archive size:

3.90 kB

Repository:

GitHub

Category:

Where to report issues?

This package is a project of Luca Schlecker. Report issues on their repository. You can also try to ask for help with this package on the Forum.

Please report this package to the Typst team using the contact form if you believe it is a safety hazard or infringes upon your rights.

Version history

Version	Release Date
0.1.0	November 4, 2024

Typst GmbH did not create this package and cannot guarantee correct functionality of this package or compatibility with any version of the Typst compiler or app.