@hackage / intensional-datatys

A GHC Core plugin for intensional datatype refinement checking

0.2.0.0

Security Advisories

No advisories found.