tarao/lambda-scala3

Type-level lambda calculus in Scala 3

语言：Scala · GitHub 星标：13 · Fork：0

话题：compile-time-meta-programming · lambda-calculus · scala · typelevel

在 GitHub 上查看原仓库