search

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

Fix "TODO" issue in src/library/Analysis/EssentialCriticalPairs.hs #54

Closed verigraph closed 7 years ago

verigraph commented 7 years ago

TODO found

https://codeclimate.com/github/Verites/verigraph/src/library/Analysis/EssentialCriticalPairs.hs#issue_59385f71bca02c000100007b