Skip to content

Simplify NamedGraph constructors#61

Merged
mtfishman merged 2 commits intomainfrom break_namedgraph_constructorsApr 15, 2024