package dedukti

  1. Overview
  2. Docs
module Ac : sig ... end
module Basic : sig ... end

Basic Datatypes

module Confluence : sig ... end

Confluence checker

module Dtree : sig ... end
module Exsubst : sig ... end
module Matching : sig ... end
module Reduction : sig ... end
module Rule : sig ... end

Rewrite rules

module Signature : sig ... end

Global Environment

module Srcheck : sig ... end
module Subst : sig ... end

Substitutions using DeBruijn indices.

module Term : sig ... end

Lambda terms

module Typing : sig ... end

Type checking/inference

module Version : sig ... end

Dedukti's current version.

OCaml

Innovation. Community. Security.