Lib.rs

› Rust patterns
#lambda-calculus #polymorphism #language #domain

lambdas

A library for defining domain specific languages in a polymorphic lambda calculus

by Matt Bowers, Theo X. Olausson

1 unstable release

0.1.0 Nov 4, 2022

#20 in #lambda-calculus


Used in stitch_core

MIT license

98KB
2K SLoC

Lambdas

Dependencies

~2–3.5MB
~64K SLoC