verigraph
verigraph copied to clipboard
Restructure Graphs and Typed Graphs around a type class
It would make sense for graphs and typed graphs to have a similar interface (after all, they are both graphs). Therefore, a type class might be useful to unify them.