Fix "TODO" issue in src/library/SndOrder/Morphism/Core.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

Closed lm-rodrigues closed 7 years ago

lm-rodrigues commented 7 years ago

TODO found