catsters guide

10 years ago · 2d356d8bdb
parent 1b113c336a
commit 2d356d8bdb
1 changed files with 2 additions and 0 deletions
--- 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