From 4f81e93db0cbd6cae575cfd883018d4dc1f42a23 Mon Sep 17 00:00:00 2001
From: Andrey Mokhov <andrey.mokhov@gmail.com>
Date: Mon, 1 Jul 2019 02:19:37 +0200
Subject: [PATCH] Minor tweaks

---
 paper/2-selective.tex | 18 +++++++++---------
 paper/main.tex        |  1 +
 2 files changed, 10 insertions(+), 9 deletions(-)

diff --git a/paper/2-selective.tex b/paper/2-selective.tex
index b02ebdb..35e41df 100644
--- a/paper/2-selective.tex
+++ b/paper/2-selective.tex
@@ -183,15 +183,15 @@ \section{Selective functors}\label{sec-selective}
 \vspace{1mm}
 
 \noindent
-Here we tag a given function \hs{a}~\hs{->}~\hs{b} with \hs{Left} and turn a
-value of type \hs{a} into the reverse function application
-\hs{\}\hs{f}~\hs{->}~\hs{f}~\hs{a} that yields \hs{b} when given
-\hs{a}~\hs{->}~\hs{b}, as desired. Since the \hs{Right} case is impossible, the
-effect \hs{f}~\hs{a} is executed unconditionally. Note however, that the
-equality \hs{(<*>)}~\hs{=}~\hs{apS} does not always hold. Selective functors
-that satisfy the law \hs{(<*>)}~\hs{=}~\hs{apS} will be called \emph{rigid};
-they will turn out to have a very simple normal form, which we will exploit in
-the free construction in~\S\ref{sec-free}.
+Here we tag the given function \hs{f}~\hs{::}~\hs{a}~\hs{->}~\hs{b} with
+\hs{Left} and apply the reverse function application~(see Fig.~\ref{fig-std}) to
+the value \hs{x}~\hs{::}~\hs{a}, thus matching the type signature
+of \hs{select}. Since the \hs{Right} case is impossible, the effect
+\hs{f}~\hs{a} is executed unconditionally. Note however, that the equality
+\hs{(<*>)}~\hs{=}~\hs{apS} does not always hold. Selective functors that satisfy
+the law \hs{(<*>)}~\hs{=}~\hs{apS} will be called \emph{rigid}; they will turn
+out to have a simple normal form, which we will exploit in the free construction
+in~\S\ref{sec-free}.
 
 It is worth emphasising that the subclass relationships
 \hs{Applicative}~\hs{f}~\hs{=>}~\hs{Selective}~\hs{f} and
diff --git a/paper/main.tex b/paper/main.tex
index 2c1a66f..cebd868 100644
--- a/paper/main.tex
+++ b/paper/main.tex
@@ -3,6 +3,7 @@
 %%% The following is specific to ICFP '19 and the paper
 %%% 'Selective Applicative Functors'
 %%% by Andrey Mokhov, Georgy Lukyanov, Simon Marlow, and Jeremie Dimino.
+%%%
 \setcopyright{rightsretained}
 \acmPrice{}
 \acmDOI{10.1145/3341694}