Homotopy Type Theory decidable directed graph > history

< directed graph