#lambda-calculus #polymorphism #language #domain

lambdas

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

1 unstable release

0.1.0 Nov 4, 2022

#19 in #lambda-calculus


Used in stitch_core

MIT license

98KB
2K SLoC

Lambdas

Dependencies

~2–3.5MB
~63K SLoC