Change GETPUT from math to code

Author: ktgw0316

src/content/3.9/algebras-for-monads.tex

@@ -393,7 +393,8 @@ \section{Lenses}
 comonad? The first coherence condition:
 \[\varepsilon_a \circ \mathit{coalg} = \idarrow[a]\]
 translates to:
-\[\mathit{set}\ a\ (\mathit{get}\ a) = a\]
+
+\src{snippet16}
 This is the lens law that expresses the fact that if you set a field of
 the structure $a$ to its previous value, nothing changes.
 This law is also known as GETPUT.

src/content/3.9/code/haskell/snippet16.hs

@@ -0,0 +1 @@
+set a (get a) = a

src/content/3.9/code/ocaml/snippet16.ml

@@ -0,0 +1,2 @@
+;;
+set a (get a) = a

src/content/3.9/code/reason/snippet16.re

@@ -0,0 +1 @@
+set(a, get(a))) == a;

src/content/3.9/code/scala/snippet16.scala

@@ -0,0 +1 @@
+set(a)(get(a)) == a