Jonas Santos Bezerra

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.

Currently, the function valid returns a `Bool`, which is not helpful when we need to fix a malformed value. It should be changed to return a `Maybe String`, producing appropriate...

Better utilities for writing unit tests with typed graphs

1

Creating test cases with typed graphs is currently a time consuming, manual work. We should probably find a better way to do this. Wishlist: - [ ] Better format for...

Grammar with Multiplicities

1

Investigate the implementation of multiplicities in the type graph and the corresponding restrictions over the grammar and the analyses provided by verigraph.