From 53f115b99514ed809255627f9087a610b64654ff Mon Sep 17 00:00:00 2001 From: Wesley Kerfoot Date: Tue, 18 Jun 2013 12:48:26 -0400 Subject: [PATCH] readme stuff --- README.md | 5 +++++ 1 file changed, 5 insertions(+) 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