diff --git a/README.md b/README.md index 776317d..eeb6401 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@ This is the beginnings of a little language based on a typed LC with let -Mainly inspired by these: +and 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