graph

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.