@hackage / ty

Typed type representations and equality proofs

Latest0.1.7

Changelog

This release does not have a Changelog