search

non / alleycats

Cats instances and classes which are outlaws, miscreants, and ne'er-do-wells.
Other
62 stars 14 forks source link

Parametricity link in README doesn't go anywhere #2

Closed philwills closed 9 years ago

philwills commented 9 years ago

I was intrigued by the discussion of parametric reasoning for Sets, but the link with the name 'parametricity' doesn't go anywhere.

non commented 9 years ago

Oops! Good catch, thanks! I'll try to remember which resource I was going to link.

non commented 9 years ago

I ended up linking to an essay by @S11001001: http://failex.blogspot.jp/2013/06/fake-theorems-for-free.html

I think this is the best treatment of the issue that is approachable to readers without Haskell experience.

philwills commented 9 years ago

Thanks, that's useful to my understanding.