search

jwaldmann / haskell-tpdb

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

CPF parse error for AC termination proof #19

Open jwaldmann opened 8 years ago

jwaldmann commented 8 years ago

see https://github.com/jwaldmann/ceta-postproc/issues/10