From 33cda5741ecb65e42f769328d4bd0d97bcbc5c95 Mon Sep 17 00:00:00 2001 From: Alexis Beingessner Date: Sun, 21 Jun 2015 09:57:44 -0700 Subject: [PATCH] fix paper link --- lifetimes.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lifetimes.md b/lifetimes.md index d6711e7..fe4dc62 100644 --- a/lifetimes.md +++ b/lifetimes.md @@ -58,7 +58,8 @@ a Cell is to copy the bits in or out. manages this through *runtime* checks. It is effectively a thread-unsafe read-write lock. -For more details see Dan Grossman's Existential Types for Imperative Languages: +For more details see Dan Grossman's *Existential Types for Imperative Languages*: + * [paper][grossman-paper] (Advanced) * [slides][grossman-slides] (Simple)