From 2d356d8bdbbcc1e75d6085cd351216e9f0a0ca7f Mon Sep 17 00:00:00 2001 From: Chris Allen Date: Mon, 23 Jun 2014 18:38:26 -0500 Subject: [PATCH] catsters guide --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index ad1066a..0e1fbff 100644 --- a/README.md +++ b/README.md @@ -250,6 +250,8 @@ I recommend these two tutorials/introductions: If you want to follow up on the type and category theory: +- http://byorgey.wordpress.com/2014/01/14/catsters-guide/ and http://byorgey.wordpress.com/2014/01/14/catsters-guide/ + - http://www.cs.cmu.edu/~rwh/plbook/book.pdf Harper's Practical Foundations for Programming Languages is the best PL focused intro to type theory I've read. - http://www.quora.com/Category-Theory/What-is-the-best-textbook-for-Category-theory?share=1 Kmett's recommendations