3tty0n/church-scala

An implementation of church encoding with Scala.

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

话题：church-encoding · lambda-calculus · scala

在 GitHub 上查看原仓库