From 04463f20f31943d0066f6a65e9ee4c6ad59edbc1 Mon Sep 17 00:00:00 2001 From: Wesley Kerfoot Date: Tue, 18 Jun 2013 12:50:17 -0400 Subject: [PATCH] readme stuff --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index ce8436e..776317d 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: - http://cs.brown.edu/~sk/Publications/Books/ProgLangs/ - http://www.cs.indiana.edu/hyplan/dfried/ts.ps - http://lucacardelli.name/papers/basictypechecking.a4.pdf + * http://cs.brown.edu/~sk/Publications/Books/ProgLangs/ + * http://www.cs.indiana.edu/hyplan/dfried/ts.ps + * http://lucacardelli.name/papers/basictypechecking.a4.pdf