From befb2f4be4f7977a924a1dd350e48e4b3ed8fc78 Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Tue, 3 May 2016 05:49:55 -0400 Subject: [PATCH] [rebuttal] fix footnote typo --- icfp-2016/intro.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/icfp-2016/intro.scrbl b/icfp-2016/intro.scrbl index c3f1a6e..2876b92 100644 --- a/icfp-2016/intro.scrbl +++ b/icfp-2016/intro.scrbl @@ -56,7 +56,7 @@ This pearl describes a low-complexity, annotation-free (@Secref{sec:experience}) technique for detecting value errors and expressing polymorphism over values. The key is to run a @emph{textualist}@note{A textualist interprets laws by - reading exactly the words on the page rather that by guessing the words' intended meaning.} + reading exactly the words on the page rather than by guessing the words' intended meaning.} elaboration over programs before type-checking and propagate value information evident from the program syntax to the type checker. In terms of the first example in this section, our elaborator infers that the @@ -79,8 +79,8 @@ Nevertheless, Typed Clojure@~cite[clojure-macros], For a sense of the practical use-cases we envision, consider the function @racket[regexp-match], which matches a regular expression pattern against - a string and returns either a list of matched substrings or @racket[#false] - if the match failed. + a string and returns either a list of matched substrings + or @racket[#false] if the match failed. @racketblock[ > (regexp-match #rx"(.*) v\\. (.*),"