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

## Definition

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