lib:unsatisfiable

Modules

• Unsatisfiable
• Unsatisfiable.Class
• Unsatisfiable.Plugin

Dependencies

• base lib:base ^>=4.15
• ghc lib:ghc ^>=9.0.1

Reverse dependencies

None.