Lib.rs

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

lambdas

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

by Maddy Bowers, Theo X. Olausson

1 unstable release

0.1.0 Nov 4, 2022

#20 in #domain-language


Used in stitch_core

MIT license

98KB
2K SLoC

Lambdas

Dependencies

~2–3.5MB
~64K SLoC