search

jwaldmann / haskell-tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)
2 stars 2 forks source link

repair Show instance of Identifier #23

Closed jwaldmann closed 6 years ago

jwaldmann commented 6 years ago

since we switched to Text, we have some useless quoting, e.g.,

property Termination
has value True
for SRS 
        "a" "b" -> "b" "b" "a",
        "b" "c" -> "c" "b" "b",
        "c" "a" -> "a" "c" "c",