From af778a158b883b1098b37f74a1ace264efb76239 Mon Sep 17 00:00:00 2001 From: Chris Allen Date: Wed, 18 Feb 2015 16:14:11 -0600 Subject: [PATCH] Fun --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 837b8b9..cbfa18f 100644 --- a/README.md +++ b/README.md @@ -751,7 +751,7 @@ If you want to follow up on type and category theory: - [Monads](http://www.stephendiehl.com/posts/monads.html). -# Other theoretical topics +# Other fun topics ## Parametricity, ad-hoc vs. parametric polymorphism, free theorems