/lambda-noise

Primary LanguageC++The UnlicenseUnlicense

lambda-noise

Untyped lambda calculator written in c++

Build

Just compile lambda.cpp with headers. c++1z or larger is required.

Syntax

Common lambda syntax with definition syntax. See an example

Usage

$ lambda (file name)

File content are interpreted line-wise.

If you give no files, REPL starts.

Problems

Trying to find

License

The Unlicense.

See LICENSE file or https://choosealicense.com/licenses/unlicense/