search

haskellari / lattices

Fine-grained lattice primitives for Haskell
BSD 3-Clause "New" or "Revised" License
35 stars 15 forks source link

Add `isInfixOf` partial order for [a] instance #47

Closed phadej closed 6 years ago

phadej commented 7 years ago

writing proper meet and join isn't completely trivial (join /= (++), that won't give least upper bound).

If someone wants to crack this, please go ahead :)