lambda2pi

command module

v1.1.0 Latest Latest Go to latest Published: Feb 6, 2019 License: MIT Imports: 6 Imported by: 0

Details

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

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.

There is no documentation for this package.

Path	Synopsis
lib
convert The package convert provides the function Convert, which converts the lambda term into the pi term Each function Convert, ConvertFromFiles and ConvertFromString needs a mode for an argument.	The package convert provides the function Convert, which converts the lambda term into the pi term Each function Convert, ConvertFromFiles and ConvertFromString needs a mode for an argument.
parser This parser package provides lexer and parser of lambda calculus.	This parser package provides lexer and parser of lambda calculus.
parser/example_interpret_test command
syntax This package provides the types for the syntax of the lambda calculus and the pi calculus.	This package provides the types for the syntax of the lambda calculus and the pi calculus.