search

jwaldmann / haskell-tpdb

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

error in parsing relative proof #12

Open jwaldmann opened 10 years ago

jwaldmann commented 10 years ago

https://github.com/jwaldmann/ceta-postproc/issues/7