lambdapi 2.2.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

lambdapi.common

Documentation:

• Common

lambdapi.core

Documentation:

• Core

lambdapi.export

Documentation:

• Export

lambdapi.handle

Documentation:

• Handle

lambdapi.lplib

Documentation:

• Lplib

lambdapi.lsp

Documentation:

• Lsp

lambdapi.parsing

Documentation:

• Parsing The run-time library for parsers generated by ocamlyacc.

lambdapi.pure

Documentation:

• Pure Interface to LSP.

lambdapi.tool

Documentation:

• Tool