Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning
[packages/base.git] / Data / OldTypeable.hs
2013-06-06  Simon Peyton JonesRe-jig SOURCE imports
2013-06-02  Ian LynaghRemove some unnecessary SOURCE imports
2013-02-17  Daniel FischerMerge branch 'master' into rule_fixes
2013-02-16  Ian LynaghMark DEPRECATED pragmas with when they were added
2013-02-15  Ian LynaghRemove nhc98-specific files and content
2013-02-12  Jose Pedro MagalhaesImplement poly-kinded Typeable