package lambdapi

  1. Overview
  2. Docs
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Coq : sig ... end

Translate the parser-level AST to Coq.

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 simply typed signature to the XTC format used in the termination competition.