About

lambda2pi is a toy program that converts a lambda-calculus term into a pi-calculus term.

Usage

lambda2pi <input file> [-o <output file>]

The input file contains a lambda term, and the output file will contain a pi term.

Also, you can run lambda2pi in REPL mode when no argument is given:

$ lambda2pi
>>

Look at lambda2pi --help for detailed syntax for lambda-calculus and pi-calculus.

Let's convert a very simple lambda term \x. x (example/simpleAbs.lambda):

$ lambda2pi ./example/simpleAbs.lambda -o out.pi
$ cat out.pi
pp!yy0.(*yy0?ww.ww?x.(new pp in pp!yy1.(*yy1?ww.x!ww.O)))

Install Go >= 1.11, and then run the following command:

go get -u github.com/nekketsuuu/lambda2pi

$ # cd to $GOPATH/src/github.com/nekketsuuu/lambda2pi
$ go generate
$ go build
$ go install

nekketsuuu

The MIT License. See LICENSE for details.