lib/

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.

This parser package provides lexer and parser of lambda calculus.

This package provides the types for the syntax of the lambda calculus and the pi calculus.