Closed olynch closed 1 year ago
This implements a simpler version of acsets, with less fancy scala typing, and built-in support for properties (properties, homs, and attributes are all unified).
This implements a simpler version of acsets, with less fancy scala typing, and built-in support for properties (properties, homs, and attributes are all unified).