Inductive Graphs

[NobbZ]

I will tackle the implementation of an inductively defined labeled directed graph over the course of the next 2 weeks.

As a base I will use the paper available at https://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf by Martin Erwig.

This implementation can then later be used to implement also unlabeled and/or undirected graphs, since both are just special cases of a labeled directed one.

I will add a WIP-PR later on, also I will add a TODO-list in that PR.

[sashaafm]

Great @NobbZ. That paper seems interesting, I'll keep it to read later.

I've had a really busy week, but I'm going to try my best to finish my Exads assignments soon.