Update README.md

Abhiroop · web-flow · commit b6726850a5e1 · 2017-07-02T23:57:06.000+05:30
diff --git a/README.md b/README.md
@@ -13,7 +13,7 @@ https://www.schoolofhaskell.com/user/bartosz/understanding-yoneda
 
 Type Theory
 -----------
-https://pdfs.semanticscholar.org/b49e/9c2d00acd25ada608170c3c3485880261980.pdf
+System FC: https://pdfs.semanticscholar.org/b49e/9c2d00acd25ada608170c3c3485880261980.pdf
 
 Writing a Compiler
 ------------------
