search

jwaldmann / haskell-tpdb

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

CPF: monoRedPair #31

Open jwaldmann opened 2 years ago

jwaldmann commented 2 years ago

wanted because of https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/432