search

ComputationWithBoundedResources / term-rewriting-xml

XML parser for term-rewriting library
BSD 3-Clause "New" or "Revised" License
0 stars 1 forks source link

put term-rewriting-xml on hackage #1

Open int-e opened 7 years ago

int-e commented 7 years ago

Could you make this package available on hackage? I'd like to use it in a tool (producing canonical representations for a TRS) I'm writing.

dio4ev commented 4 years ago

Do you still need it on hackage? Then I could take care of it next week.

int-e commented 4 years ago

I believe putting the library on hackage would make it more likely to be used (and discovered) by others.

However, for the above-mentioned tool (cf. https://github.com/haskell-rewriting/canonical-trs) I ended up using https://hackage.haskell.org/package/tpdb instead, because it also provides a parser for the TPDB XML format and it is available on hackage.