A simple untyped lambda calculus interpreter that supports both variadic functions and auto-currying.
Full documentation is available
online. Alternatively, you
can build and consult the documentation locally by cloning the repository and
executing the following commands in the top directory (with the Makefile):
$ make link
$ raco docs lambda-vc