@hackage / ty

Typed type representations and equality proofs

Latest0.1.7

Dependencies