search

ekmett / folds

Folds and sequence algebras
Other
18 stars 11 forks source link

Manually import Proxy from Data.Proxy #3

Closed glguy closed 10 years ago

glguy commented 10 years ago

While GHC 7.8 provides Proxy in Data.Data, previous versions do not.