Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
Safe Haskell | None |
Documentation
Boolean formula in Disjunction Normal Form
fromDoubleList :: Ord a => [[a]] -> DNF aSource
toDoubleList :: DNF a -> [[a]]Source