additional parametricity stuff

10 years ago · 3dce24b451
parent 4c64dbd72b
commit 3dce24b451
1 changed files with 5 additions and 1 deletions
--- a/README.md
+++ b/README.md
@ -261,7 +261,11 @@ Didn't know where else to put these:

 - http://www.stephendiehl.com/posts/monads.html

-## Ad-hoc & parametric polymorphism, free theorems
+## Parametricity, ad-hoc vs. parametric polymorphism, free theorems
+
+- http://dl.dropboxusercontent.com/u/7810909/media/doc/parametricity.pdf
+
+- https://github.com/tonymorris/parametricity/

 - http://swizec.com/blog/week-20-making-ad-hoc-polymorphism-less-ad-hoc/swizec/6564