This package contains a library for inductive graphs, i.e., where graphs are composed and decomposed in an inductive way.
This is a port of a Haskell library by Martin Erwig.