Lambdabus allows you to parse, normalize and display simple λ-Calculus expressions in Typst with ease.
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-
Notifications
You must be signed in to change notification settings - Fork 0
Easily parse, normalize and display simple λ-Calculus expressions.
License
luca-schlecker/typst-lambdabus
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Easily parse, normalize and display simple λ-Calculus expressions.
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published