search

haskus / packages

Haskus packages
https://haskus.org/
24 stars 11 forks source link

IsSubset -> IsSublist #13

Closed pcarbonn closed 5 years ago

pcarbonn commented 5 years ago

For issue #9. Not sure whether it has other side effects, though.

hsyl20 commented 5 years ago

Thanks. I've removed the use of this constraint (and renamed it at the same time) on master.