@hackage / intensional-datatys

A GHC Core plugin for intensional datatype refinement checking

Latest0.2.0.0

Changelog

This release does not have a Changelog