Merge pull request #2 from jkoppel/master
Update Tested-With field.
Turn on PolyKinds on GHC >= 7.6.
Thanks to Ben Franksen for the patch.
Merge pull request #1 from byorgey/master
Build-depends should be in the Library section.
Move build-depends field into Library section
Bump version number.
Add Source-Repository in cabal file.
Switch to section syntax in cabal file.
Add more tested GHC versions.
Added Show and Read instances.
Tweaked description a bit, and added homepage and stability.
Added compatibility with GHC 6.8.
Added version range to base dependency.
Expanded module documentation.
Removed cast function.
Added Martijn van Steenbergen to authors.
Added EqT instance for (:=:) a.
Removed 'not useful in practice' comment.
Initial version of type-equality.