https://github.com/luca-schlecker/typst-lambdabus

Easily parse, normalize and display simple λ-Calculus expressions.
https://github.com/luca-schlecker/typst-lambdabus

lambda-calculus

Last synced: 4 months ago
JSON representation

Easily parse, normalize and display simple λ-Calculus expressions.

• Host: GitHub
• URL: https://github.com/luca-schlecker/typst-lambdabus
• Owner: luca-schlecker
• License: mit
• Created: 2024-10-31T00:09:17.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-11-02T12:15:06.000Z (over 1 year ago)
• Last Synced: 2025-10-23T19:29:10.428Z (8 months ago)
• Topics: lambda-calculus
• Language: Typst
• Homepage:
• Size: 939 KB
• Stars: 8
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# 🪄 Lambdabus 🪄

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

## Usage

Lambdabus is available on the [Typst Universe](https://typst.app/universe/package/lambdabus/) and it is thus recommended to be imported like this:

```typst

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

```

## Features/Examples

![Feature Table](https://raw.github.com/luca-schlecker/typst-lambdabus/v0.1.0/gallery.png)