search

jwaldmann / haskell-tpdb

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

split for relative termination #36

Closed jwaldmann closed 1 year ago

jwaldmann commented 1 year ago

Does CPF allow this?