diff --git a/README.md b/README.md
index e69de29..ce8436e 100644
--- a/README.md
+++ b/README.md
@@ -0,0 +1,5 @@
+This is the beginnings of a little language based on a typed LC with let
+Mainly inspired by these: 
+  http://cs.brown.edu/~sk/Publications/Books/ProgLangs/
+  http://www.cs.indiana.edu/hyplan/dfried/ts.ps
+  http://lucacardelli.name/papers/basictypechecking.a4.pdf