search

pa-ba / compdata

Haskell library implementing "Data Types a la Carte"
http://hackage.haskell.org/package/compdata
Other
89 stars 27 forks source link

Include Data.Comp.Multi.TermRewriting #15

Open tomberek opened 8 years ago

tomberek commented 8 years ago

I'm working on a PR. If anyone else has done this or made any progress, please post here.