An implementation of church encoding with Scala.
Primary LanguageScala
An implementation of church encoding by Scala.