Include Lambdapi code in a Latex document
=============================================

With the `listings <https://www.ctan.org/pkg/listings>`__ package:

You need to include `lambdapi.tex <https://github.com/Deducteam/lambdapi/blob/master/misc/lambdapi.tex>`__.

See an example `here <https://github.com/Deducteam/lambdapi/blob/master/misc/example.tex>`__.