Module Logic.LambdaSource

This module implements basic operations on lambda terms. It uses de Bruijn indices.

Sourcemodule Lambda : sig ... end

This is the actual module