Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning
[packages/base.git] / Data / Proxy.hs
2013-07-24  Richard EisenbergImplement "TypeLevelReasoning" proposal at wiki:TypeLev...