ARI parser for TRS (at least, for SRS) - Githubissues

jwaldmann / haskell-tpdb

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

2 stars 2 forks source link

ARI parser for TRS (at least, for SRS) #45

Open jwaldmann opened 5 months ago