Commits

Tony Morris  committed 7089e4b

results of proof-read

  • Participants
  • Parent commits 68ab711

Comments (0)

Files changed (1)

File asymmetriclenses.tex

 \begin{lstlisting}[mathescape,language=Scala]
 $\forall$ r. lens.set(r, lens get r) == r
 \end{lstlisting}
-\item If you set a field twice with values \lstinline$f2$ then \lstinline$f1$, then this is the same as setting the latest-set field, \lstinline$f1$ once:
+\item If you set a field twice with values \lstinline$f2$ then \lstinline$f1$, this is the same as setting it once with value \lstinline$f1$. The
+originally set operation of \lstinline$f2$ is not observable. 
 \begin{lstlisting}[mathescape,language=Scala]
 $\forall$ r f1 f2.
   lens.set(lens.set(r, f2), f1) ==