runarorama/scala-bound

A library for developing languages with scoped binders (like forall or lambda).

语言：Scala · GitHub 星标：28 · Fork：3

在 GitHub 上查看原仓库