Add Haddock `/Since: 4.7.0.0/` comments to new symbols
[packages/base.git] / Data / Type / Equality.hs
2013-09-21  Herbert Valerio... Add Haddock `/Since: 4.7.0.0/` comments to new symbols
2013-07-25  Richard EisenbergEliminate Equality.hs-boot and Proxy.hs-boot by moving...
2013-07-24  Richard EisenbergImplement "TypeLevelReasoning" proposal at wiki:TypeLev...