Leonardo Marques Rodrigues

Results 5 issues of Leonardo Marques Rodrigues

TODO found https://codeclimate.com/github/Verites/verigraph/src/library/Util/List.hs#issue_591ccae2b82f260001000076

code quality

TODO found https://codeclimate.com/github/Verites/verigraph/src/library/XML/ParseSndOrderRule.hs#issue_591ccae2b82f26000100007d

code quality

TODO found https://codeclimate.com/github/Verites/verigraph/src/library/Analysis/EssentialCriticalPairs.hs#issue_5915ed1aabd07f00010000af

code quality

TODO found https://codeclimate.com/github/Verites/verigraph/src/library/Analysis/CriticalPairs.hs#issue_5915ed1aabd07f00010000b0

code quality

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.

question
interface