This commit is contained in:
Chris Allen 2015-02-18 16:14:11 -06:00
parent ae10d80ce0
commit af778a158b

View File

@ -751,7 +751,7 @@ If you want to follow up on type and category theory:
- [Monads](http://www.stephendiehl.com/posts/monads.html). - [Monads](http://www.stephendiehl.com/posts/monads.html).
# Other theoretical topics # Other fun topics
## Parametricity, ad-hoc vs. parametric polymorphism, free theorems ## Parametricity, ad-hoc vs. parametric polymorphism, free theorems