Leonardo Marques Rodrigues
Leonardo Marques Rodrigues
TODO found https://codeclimate.com/github/Verites/verigraph/src/library/Util/List.hs#issue_591ccae2b82f260001000076
TODO found https://codeclimate.com/github/Verites/verigraph/src/library/XML/ParseSndOrderRule.hs#issue_591ccae2b82f26000100007d
TODO found https://codeclimate.com/github/Verites/verigraph/src/library/Analysis/EssentialCriticalPairs.hs#issue_5915ed1aabd07f00010000af
TODO found https://codeclimate.com/github/Verites/verigraph/src/library/Analysis/CriticalPairs.hs#issue_5915ed1aabd07f00010000b0
JSON as input/output format will make integration between verigraph and other tools (including @Verites/verigraph-gui ) easier. So, we need define a JSON format to verigraph.