Algebraic graphs

A library for algebraic construction and manipulation of graphs in Haskell. See this paper for the motivation behind the library, the underlying theory and implementation details.

The following series of blog posts also describe the ideas behind the library:

• Introduction: https://blogs.ncl.ac.uk/andreymokhov/an-algebra-of-graphs/
• A few different flavours of the algebra: https://blogs.ncl.ac.uk/andreymokhov/graphs-a-la-carte/
• Graphs in disguise or How to plan you holiday using Haskell: https://blogs.ncl.ac.uk/andreymokhov/graphs-in-disguise/
• Old graphs from new types: https://blogs.ncl.ac.uk/andreymokhov/old-graphs-from-new-types/

Some preliminary benchmarks can be found in doc/benchmarks.