l
A package for working with lambda calculus, including parsing, reduction, visualization.
Usage
#import "@preview/lambdabe:0.1.0": *
#diagram(random-color(const.fact))
examples
Examples can be found in the examples directory.
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.