typstPackages.lambdabus

Easily parse, normalize and display simple λ-Calculus expressions

Name

lambdabus

Homepage

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

Version

0.1.0

License

• MIT License

Maintainers

• Gongqi Huang
• Ross Smyth

Defined

Source