Homotopy Type Theory decidable directed graph > history (Rev #1)

Contents

Definition

A decidable directed graph is a type TT with a function ()():T×T𝟚(-) \to (-):T \times T \to \mathbb{2}.

See also

Revision on April 28, 2022 at 03:20:27 by Anonymous?. See the history of this page for a list of all contributions to it.