# Homotopy Type Theory decidable directed graph > history (changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

## Definition

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