A package for working with lambda calculus, including parsing, reduction, visualization.
#import "@preview/lambdabe:0.1.0": *
#diagram(random-color(const.fact))
Examples can be found in the examples directory.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A package for working with lambda calculus, including parsing, reduction, visualization.
#import "@preview/lambdabe:0.1.0": *
#diagram(random-color(const.fact))
Examples can be found in the examples directory.