package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Dk : sig ... end

Export a Lambdapi signature to Dedukti.

module Hrs : sig ... end

This module provides a function to translate a signature to the HRS format used in the confluence competition.

module Xtc : sig ... end

This module provides a function to translate a signature to the XTC format used in the termination competition.