一个用于在多态λ演算中定义特定领域语言的库
由 mlb2251 和 Theo X. Olausson 编写
#19 in #lambda-calculus
用于 stitch_core
98KB 2K SLoC
~2.1–3.5MB ~64K SLoC