Include Lambdapi code in a Latex document

With the listings package:

You need to include lambdapi.tex.

See an example here.