keep track of variable when building SRS from TRS, - Githubissues

jwaldmann / haskell-tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)

2 stars 2 forks source link

keep track of variable when building SRS from TRS, #39

Closed jwaldmann closed 1 year ago

jwaldmann commented 1 year ago

and use it when converting back