#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

#664 in Math

27 downloads per month
Used in stitch_core

MIT license

98KB
2K SLoC

Lambdas

Dependencies

~1.7–2.6MB
~53K SLoC