Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Inferred |
Documentation
A naked possibly-negated Atom, present in the target Solver
.
Literals with partial evaluation
Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Inferred |
A naked possibly-negated Atom, present in the target Solver
.
Literals with partial evaluation