#lambda-calculus #polymorphism #language #domain

lambdas

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

by mlb2251, Theo X. Olausson