Fix "FIXME" issue in src/library/Abstract/Category/AdhesiveHLR.hs

Verites / verigraph

Software specification and verification system based on graph rewriting

https://verites.github.io/verigraph/

Apache License 2.0

37 stars 4 forks source link

Open verigraph opened 7 years ago

verigraph commented 7 years ago

FIXME found