This package provides Dhall support for directed graphs with labeled vertices
This graph representation is "well-typed" meaning that you cannot have "broken" edges that point to invalid vertices. Or in other words an invalid graph is a type error.
See the ./package.dhall file for example use of this
package.