# algebraic-graphs

Algebraic graphs with Agda