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

## Contents

## Definition

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

## See also

Revision on June 15, 2022 at 22:47:30 by
Anonymous?.
See the history of this page for a list of all contributions to it.