From 272d1ad1ff42b637a568340b5e684d1dbaf25fdb Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Tue, 3 May 2016 01:30:20 -0400 Subject: [PATCH] [rebuttal] fix inconsistent capitalization --- icfp-2016/usage.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/icfp-2016/usage.scrbl b/icfp-2016/usage.scrbl index 82d511f..8508c9e 100644 --- a/icfp-2016/usage.scrbl +++ b/icfp-2016/usage.scrbl @@ -3,7 +3,7 @@ @; TODO clever examples -@title[#:tag "sec:usage"]{What we can learn from Values} +@title[#:tag "sec:usage"]{What we can Learn from Values} We have defined useful elaborators for a variety of common programming tasks ranging from type-safe string formatting to @@ -416,7 +416,7 @@ The situation worsens if the programmer uses multiple database connections. One can either alias one query function to multiple identifiers (each with a specific type) or weaken type signatures and manually type-cast query results. -@subsection{Phantom Types To the Rescue} +@subsection{Phantom Types to the Rescue} By associating a database schema with each connection, our elaboration technique can provide a uniform solution to these issues. We specialize both the input and output of calls to @racket[query-row],