From 4970966803e35965528fb325fb83a36649430667 Mon Sep 17 00:00:00 2001
From: Dan Licata <drl@cs.cmu.edu>
Date: Tue, 30 Oct 2018 11:48:17 -0400
Subject: [PATCH] period

---
 paper/gtt.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/paper/gtt.tex b/paper/gtt.tex
index a83742b..5af4f97 100644
--- a/paper/gtt.tex
+++ b/paper/gtt.tex
@@ -503,7 +503,7 @@ principle which enables similar reasoning, such as proofs by induction.
 The $\eta$ principles for lazy types \emph{in call-by-name} support dual
 behavioral reasoning about lazy functions, records, and streams.
 
-\textbf{An Axiomatic Approach to Gradual Typing}
+\textbf{An Axiomatic Approach to Gradual Typing.}
 In this paper, we systematically study questions of program equivalence
 for a class of gradually typed languages by working in an
 \emph{axiomatic theory} of gradual program equivalence, a language and
-- 
GitLab