Verites/verigraph

View on GitHub
src/library/Rewriting/DPO/TypedGraph/GraphProcess/OccurrenceRelation.hs

Summary

Maintainability
Test Coverage

No issues here. Congrats!